replace 'uint64_t ' by 'GtUint64'