I had them as `uint64_t` but that causes other problems because `page->entries` is a `uint32_t`.  I'll make the change to `UINT32_MAX`.