static Symbol[] toSymbolArray(Collection<Symbol> c) {
  Symbol[] a = new Symbol[l(c)];
  Iterator<Symbol> it = c.iterator();
  for (int i = 0; i < l(a); i++)
    a[i] = it.next();
  ret a;
}