Type Definition CCODE::PINT

type PINT = *mut c_int;