if (col + len + 1 > 80) { Trace.println(); for (col=1; col<indent; col++) Trace.print(" "); }
	static void PrintSet(BitSet s, int indent) {		int col, i, len;		col = indent;		for (i=0; i<=maxT; i++) {			if (s.get(i)) {				len = sy[i].name.length();				if (col + len + 1 > 80) {					Trace.println();					for (col=1; col<indent; col++) Trace.print(" ");				}				Trace.print(sy[i].name + "  ");				col += len + 1;			}		}		if (col==indent) Trace.print("-- empty set --");		Trace.println();	}