wait_input_0 | wait_input_0