*/
  public ClassExtension extension() {
    { Stella_Class self = this;

      { Stella_Class cursor = self;
        ClassExtension value = ((ClassExtension)(KeyValueList.dynamicSlotValue(cursor.dynamicSlots, Stella.SYM_STELLA_CLASS_EXTENSION, null)));

        for (;;) {
          if (value != null) {
            return (value);
          }
          cursor = ((Stella_Class)(cursor.classAllSuperClasses.value));
          if (cursor != null) {
            value = ((ClassExtension)(KeyValueList.dynamicSlotValue(cursor.dynamicSlots, Stella.SYM_STELLA_CLASS_EXTENSION, null)));
          }
          else {
            return (null);
          }
        }
      }
    }
  }