Symbol: gen_jmp_32