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