public Agent GetOrCreate(UUID uuid) { string name = Agent.Name(uuid); lock (name_to_agent) if (name_to_agent.ContainsKey(name)) return name_to_agent[name]; else { Agent a = Add(uuid); return a; } }