let f_convert t1 t2 = if f_sizeof t1 < f_sizeof t2 then t2 else t1