let
model_update_havoc: store
->
dzone
->
F
.abstract
->
store =
F
.e_app3
"update_havoc"