(wait_reading_process_input, both definitions):