Add function docs
established_simptcp_socket_state_send: return valid value
Add while loop into etablished_recv