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