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