public static void definitionAxiomsHandler(Stella_Object self, StorageSlot slot, Stella_Object theaxioms) {
    slot = slot;
    if (Stella_Object.stringP(theaxioms)) {
      theaxioms = Stella.unstringifyInModule(((StringWrapper)(theaxioms)).wrapperValue, self.homeModule());
    }
    Logic.axiomsSetter(self, Logic.combineAxiomLists(Logic.axioms(self), theaxioms));
  }