Use uint64_t and (uint64_t) 1 for 64-bit int