let n_size n te =  mul (sizeof te) n