let malloc_of_mem (m,_) : mem_alloc = F.var m.valloc