throw new BAD_OPERATION("Invalid completion status " + completion);
BAD_OPERATION bad = new BAD_OPERATION("Invalid completion status " + completion); bad.minor = Minor.Enumeration; throw bad;
  public static CompletionStatus from_int(int completion)  {    try      {        return states [ completion ];      }    catch (ArrayIndexOutOfBoundsException ex)      {        throw new BAD_OPERATION("Invalid completion status " + completion);      }  }