4. After spending several hours writing a long C file, you realize that you would like to change the name of one of your variables. The variable is being referenced tons of times throughout your code, so it would waste too much time to change all these references manually. Assuming the variable name is 'tmp' and you would like to rename it into 'time_elapsed', what is the sequence of keystrokes you should type? (6pts)