DEBUG printfs
What did the user type and what are we doing with it?