be specific about uint64_t