let
valloc_of_mem (m,_) = m.valloc