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