let
mbits_of_mem (m,_) : mem_bits =
F
.var m.vbits