private static String name(PeekReader in) throws IOException {
	    StringBuilder buf = new StringBuilder();
	    while(true) {
		int c = in.peek();
		if(c < 0) {
		    break;
		} else if(namechar((char)c)) {
		    buf.append((char)in.read());
		} else {
		    break;
		}
	    }
	    if(buf.length() == 0)
		throw(new FormatException("Expected name, got `" + (char)in.peek() + "'"));
	    return(buf.toString());
	}