let
block_length _m l =
Hlib
.block_length (top_loc_term l)