let n_size n te =  F.i_mult (sizeof te) n