let
block_length _mem l =
Hlib
.block_length (pointer_of_loc l)