Searched refs:headerfilename (Results 1 – 1 of 1) sorted by relevance
42 static const char *headerfilename = "head.out"; in main() local62 headerfile = fopen(headerfilename, "wb"); in main()
Completed in 3 milliseconds