Type Definition CCODE::PINT32

type PINT32 = *mut c_int;