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