makes creative use of uint64_t to pointer casts, hardly portable