Flag.GetName is exported