let new_mem () = let va = D.fresh "ma" (Mdata.Vmodel t_alloc) in let vb = D.fresh "mb" (Mdata.Vmodel t_mbits) in { vbits = vb; valloc = va }