Symbol: setup_jmp_i