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