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