(Fwaiting_for_user_input_p): Function declared.