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