A stack of 64-bit integers which depends on a page allocator