Symbol: valid_jmp_i