Symbol: generate_header_of_codefile