class SyntaxException extends Exception
{
  SyntaxException(String message) { super(message); }
}