let get_state kf =
    let state = Proxy.get_state kf in
    try
      find_state kf state
    with Not_found ->
      add kf [ state ] (ref (M.default kf));
      try find_state kf state with Not_found -> assert false