throw new BAD_OPERATION("Invalid enumeration code " + code);
BAD_OPERATION bad = new BAD_OPERATION("Invalid policy code " + code); bad.minor = Minor.PolicyType; throw bad;
  public static ServantRetentionPolicyValue from_int(int code)  {    try      {        return enume [ code ];      }    catch (ArrayIndexOutOfBoundsException ex)      {        throw new BAD_OPERATION("Invalid enumeration code " + code);      }  }