let
block_length m p =
RtLib
.block_length (
F
.var m.valloc) (
Tint
.term_of_xaddr p)