let sub_c_int t1 t2 = if (signed t1 = signed t2) then i_sizeof t1 <= i_sizeof t2 else (not(signed t1) && (i_sizeof t1 < i_sizeof t2))