code: public CRLReason getReasonCode() {
          // if out-of-range, return UNSPECIFIED
          if (reasonCode > 0 && reasonCode < values.length) {
              return values[reasonCode];
          } else {
              return CRLReason.UNSPECIFIED;
          }
      }
docs: Return the reason as a CRLReason enum.