69 	static char extern_string[] = "int printf(string format, ...);";  in main()  local
97 	cod_parse_for_context(extern_string, context);  in main()
112 	static char extern_string[] = "int printf(string format, ...);";  in main()  local
138 	cod_parse_for_context(extern_string, context);  in main()
153 	static char extern_string[] = "int printf(string format, ...);";  in main()  local
176 	cod_parse_for_context(extern_string, context);  in main()
191 	static char extern_string[] = "int printf(string format, ...);";  in main()  local
220 	cod_parse_for_context(extern_string, context);  in main()
235 	static char extern_string[] = "int printf(string format, ...);";  in main()  local
264 	cod_parse_for_context(extern_string, context);  in main()
279 	static char extern_string[] = "int printf(string format, ...);";  in main()  local
308 	cod_parse_for_context(extern_string, context);  in main()
323 	static char extern_string[] = "int printf(string format, ...);\n"  in main()  local
350 	cod_parse_for_context(extern_string, context);  in main()
367 	static char extern_string[] = "int printf(string format, ...);";  in main()  local
390 	cod_parse_for_context(extern_string, context);  in main()