class SyntaxError extends Exception {
    String message;
    SyntaxError (String symbol) {
	this.message = "expected " + symbol;
    }
}