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 }