let block_length : mem_alloc -> t_addr -> t_size
                                                = F.e_app2 "rt_block_length"