.file <"input_test.c" .file .string "%d\n""input_test.c" .file not reached