Searched refs:bodyfilename (Results 1 – 1 of 1) sorted by relevance
39 static const char *bodyfilename = "body.out"; in main() local64 bodyfile = fopen(bodyfilename, "wb"); in main()