add accertion for uint64_t