let
is_havoc : mem_alloc
->
mem_bits
->
dzone
->
mem_bits
->
F
.pred =
D
.p_app4
"rt_is_havoc"