C generation completed. Mysterious problem when writing .c file.