let vbits_of_mem (m,_) = m.vbits