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