let model_update_range: store -> dzone -> F.abstract -> store =
    F.e_app3 "update_range"