public static Cons idlGetStaticVariableDefinitions(Stella_Class renamed_Class) {
    { Cons staticattributedefs = 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)).slotAllocation() == Stella.KWD_CLASS) &&
                ((!StorageSlot.slotHasUnknownTypeP(((StorageSlot)(slot)), renamed_Class)) &&
                 ((!((StorageSlot)(slot)).slotHardwiredP) &&
                  (!slot.slotMarkedP)))))) {
            staticattributedefs = Cons.cons(StorageSlot.idlYieldStaticMemberAllocationTree(((StorageSlot)(slot)), renamed_Class), staticattributedefs);
          }
        }
      }
      return (staticattributedefs);
    }
  }