static List emptyPath() { List p = m_emptyPath; if (p == null) p = m_emptyPath = (List)new List(Sys.StrType).toImmutable(); return p; }