def __init__(self, line, debug): reader = EffectReader(line) reader.parse_trace() signal.signal(signal.SIGALRM, handler) signal.alarm(15) lifter = Lifter(reader.code) InstructionExecutor(reader, lifter, debug) signal.alarm(0)