# Pastebin 5uszCSGw
        self.history.record(rop.JUMP, live_arg_boxes[num_green_args:], None,
                            descr=target_jitcell_token)
        self.history.ends_with_jump = True
        self.history.trace.tracing_done()