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