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