Why do we call the control_stream a shell stream here?