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