let state (key:key) =
    try Dash.find_state key WP.self
    with Not_found ->
      let name = Info.state_name key in
      Dash.add name key [WP.self] () ;
      let state = Dash.find_state key WP.self in
      set_proxy key state ; state