+} /* end_of_server_cb_request_handler */
+
+static gras_socket_t try_gras_socket_server(int port)
+{
+ volatile gras_socket_t sock = NULL;
+ TRY {
+ sock = gras_socket_server(port);
+ }
+ CATCH_ANONYMOUS {
+ RETHROWF("Unable to establish a server socket: %s");
+ }
+ return sock;
+}
+
+int server(int argc, char *argv[])
+{
+ gras_socket_t sock = NULL;
+ int port = 4002;