let
block_length m p =
RtLib
.block_length (malloc_of_mem m) (
Tint
.term_of_xaddr p)