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