code: def exit(self, exit_code):
          
          self.inhibit_autoret = True
          self.state.options.discard(o.AST_DEPS)
          self.state.options.discard(o.AUTO_REFS)
  
          if isinstance(exit_code, int):
              exit_code = self.state.solver.BVV(exit_code, self.state.arch.bits)
          self.state.history.add_event('terminate', exit_code=exit_code)
          self.successors.add_successor(self.state, self.state.regs.ip, self.state.solver.true, 'Ijk_Exit')
docs: Add an exit representing terminating the program.