(signal_user_input): New function.