let
vbits_of_mem (m,_) = m.vbits