+/* A cookie value returned for uncommitted writes and verified by commits; this
+ * should be a unique value each time the server is started. */
+char nfsd_instance_verf_cookie[NFS3_WRITEVERFSIZE];
+
+static void shutdown_handler(int num)
+{
+ g_print("SIGINT caught, shutting down...\n");
+ g_print("Proxy statistics:\n");
+ bluesky_stats_dump_all();
+ exit(1);
+}
+