C type: 32 bits sized, unsigned integer.
Source position: aliasctp.inc line 32
type cuint32 = UnixType.cuint32;