let i_convert t1 t2 = if i_sizeof t1 < i_sizeof t2 then t2 else t1