/* OUT */ gras_socket_t *dst);
/** \brief Create a server socket, full interface to all relevant settings */
xbt_error_t gras_socket_server_ext(unsigned short port,
unsigned long int bufSize,
/* OUT */ gras_socket_t *dst);
/** \brief Create a server socket, full interface to all relevant settings */
xbt_error_t gras_socket_server_ext(unsigned short port,
unsigned long int bufSize,