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