Writes page counters out to a file named "page".

void write();