[][src]Type Definition CCODE::INT32

type INT32 = c_int;