uint64 to c_string