Symbol: next_instruction