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