Did you test this? If you look at the implementation of `f_socket_set_option`, you don't have to call this twice as we do the same thing for both of these cases. If anything, there's a bug that we don't split the timeouts and we use the same for send and recv calls even if you use `socket_set_option` instead of `stream_set_timeout`...