C type: 64 bits sized, unsigned integer.
Source position: aliasctp.inc line 47
type cuint64 = UnixType.cuint64;