let
block_length m l =
M
.block_length m.mem (mloc_of_loc l)