public static int accessObservedCardinality(Description self) {
    { Object old$Context$000 = Stella.$CONTEXT$.get();
      Object old$Module$000 = Stella.$MODULE$.get();

      try {
        Native.setSpecial(Stella.$CONTEXT$, ((Module)(Stella.$MODULE$.get())));
        Native.setSpecial(Stella.$MODULE$, ((Context)(Stella.$CONTEXT$.get())).baseModule);
        { Stella_Object value = Logic.accessBinaryValue(self, Logic.SGT_PL_KERNEL_KB_OBSERVED_CARDINALITY_OF);

          if ((value != null) &&
              Stella_Object.isaP(value, Logic.SGT_STELLA_INTEGER_WRAPPER)) {
            return (((IntegerWrapper)(value)).wrapperValue);
          }
          else {
            return (Stella.NULL_INTEGER);
          }
        }

      } finally {
        Stella.$MODULE$.set(old$Module$000);
        Stella.$CONTEXT$.set(old$Context$000);
      }
    }
  }