public static Cons cppGetStaticVariableDefinitions(Stella_Class renamed_Class) {
    { Cons staticmembervardefs = Stella.NIL;

      { Slot slot = null;
        Iterator iter000 = renamed_Class.classSlots();

        while (iter000.nextP()) {
          slot = ((Slot)(iter000.value));
          if (Stella_Object.storageSlotP(slot) &&
              (StorageSlot.nativeSlotP(((StorageSlot)(slot))) &&
               ((((StorageSlot)(slot)).allocation() == Stella.KWD_CLASS) &&
                ((!((StorageSlot)(slot)).slotHardwiredP) &&
                 ((!slot.slotMarkedP) &&
                  (Slot.nativeSlotHome(slot, renamed_Class) == renamed_Class)))))) {
            staticmembervardefs = Cons.cons(StorageSlot.cppYieldStaticMemberAllocationTree(((StorageSlot)(slot)), renamed_Class), staticmembervardefs);
          }
        }
      }
      return (staticmembervardefs);
    }
  }