public static List listFullNames()
{
List list = new List(Sys.StrType);
for (int i=0; i<indexNames.Length; ++i)
{
string prefix = prefixes[indexPrefixes[i] & 0xff];
string name = indexNames[i];
if (prefix.Length != 0) name = prefix + "/" + name;
list.add(name);
}
return list.ro();
}