#include "gras/Virtu/virtu_interface.h" /* libdata management */
extern int gras_trp_libdata_id; /* our libdata identifier */
+
+/* The function that select returned the last time we asked. We need this because the TCP read
+ are greedy and try to get as much data in their buffer as possible (to avoid subsequent syscalls).
+ (measurement sockets are not buffered and thus not concerned).
+
+ So, we can get more than one message in one shoot. And when this happens, we have to handle
+ the same socket again afterward without select()ing at all.
+
+ Then, this data is not a static of the TCP driver because we want to zero it when
+ it gets closed by the user. If not, we use an already freed pointer, which is bad.
+
+ It gets tricky since gras_socket_close is part of the common API, not only the RL one. */
+extern gras_socket_t _gras_lastly_selected_socket;
+
/**
* s_gras_socket:
*
