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