pub const PAGE_SIZE: usize = 4096;
This is always the page size that the /guest/ is being compiled for, which may or may not be the same as the host page size.