missing uint64_t access