@Override
    public java.lang.String toString() {
      java.lang.StringBuilder sb = new java.lang.StringBuilder("interrupt_result(");
      boolean first = true;

      sb.append(")");
      return sb.toString();
    }
@Override
    public java.lang.String toString()