Note that exiting EiffelStudio and then touching the class(es) in which the C compilation errors occur and call freeze again would fix the C compilation problem.

It seems that we generate an extra `)' and most likely one of our once strings gets modified via the finalization without assertions.