-XBT_PUBLIC void gras_trp_send(gras_socket_t sd, char *data, long int size, int stable);
-XBT_PUBLIC void gras_trp_recv(gras_socket_t sd, char *data, long int size);
-XBT_PUBLIC void gras_trp_flush(gras_socket_t sd);
+void gras_trp_send(gras_socket_t sd, char *data, long int size, int stable);
+void gras_trp_recv(gras_socket_t sd, char *data, long int size);
+void gras_trp_flush(gras_socket_t sd);