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