public class SemanticException extends Exception {
  public SemanticException (String msg) {
    super(msg);
  }
}