Searched refs:hfile_header_end (Results 1 – 2 of 2) sorted by relevance
114 hfile_header_end = """ variable343 writeln(f, hfile_header_end)
129 hfile_header_end = """ variable417 global hfile_header_end488 fout.write(hfile_header_end)