size_t -> uint64_t