Do not use socket_ok .. but readable  (as specified in precondition of read_stream_thread_aware