public boolean equals(interrupt_result that) {
      if (that == null)
        return false;
      if (this == that)
        return true;

      return true;
    }
public boolean equals(interrupt_result that)