On: Memory64

[tzot]

Think

    uint64_t buffer[1<<32];

and your “pointers” are indexes to that array:

    (void*)(buffer+index)