(exec_sentinel, read_process_output):