Symbol: trace_eval_jmp_to_tail