let
havoc : mem_bits
->
t_zone
->
mem_bits =
F
.e_app2
"rt_havoc"