public char[] ns(int n) {
char[] buf = new char[n];
int b = skip(), p = 0;
while (p < n && !(isSpaceChar(b))) {
buf[p++] = (char) b;
b = readByte();
}
return n == p ? buf : Arrays.copyOf(buf, p);
}
private static void print(Object... rs) {
System.err.println(Arrays.deepToString(rs).replace("]", "]\n"));
}
void debug(Object... os) {
System.err.println(Arrays.deepToString(os));
}
void pr(Object... ob) {
if (!oj) System.out.println(Arrays.deepToString(ob).replace("],", "],\n"));
}