*<Null safety>*
String uniqueName (String prefix)
String uniqueName(String prefix) { final suffix = _nextSuffix++; return '$prefix$suffix'; }