We have a `page_size()` helper to let avoid the magic 4096 constant, but of course that's not going to matter in practice.