public static ObjectStore homeObjectStore(Stella_Object self) {
    { Module module = self.homeModule();

      return (((module != null) ? ((ObjectStore)(KeyValueList.dynamicSlotValue(module.dynamicSlots, Logic.SYM_LOGIC_OBJECT_STORE, null))) : null));
    }
  }