Add instruction annotations