let
valid : mem_alloc
->
t_zone
->
F
.pred =
F
.p_app2
"rt_valid"