'Add an exit representing terminating the program.'

def exit(self, exit_code):

    self.state.options.discard(o.AST_DEPS)
    self.state.options.discard(o.AUTO_REFS)
    if isinstance(exit_code, (int, long)):
        exit_code = self.state.se.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.se.true, 'Ijk_Exit')
