Symbol: setup_jmp_r