Searched refs:pagefilename (Results 1 – 1 of 1) sorted by relevance
41 static const char *pagefilename = "page.out"; in main() local67 pagefile = fopen(pagefilename, "wb"); in main()