Updates all subsequent page counters and writes them out.

void update(
    int slot
);