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