let get kf =
    let state = Proxy.get_state kf in
    try !(find_data kf state)
    with Not_found ->
      let def = M.default kf in
      add kf [ state ] (ref def);
      def