Use uint64_t instead of long for pointers represented in C