+}
+
+int main_numargs;
+char ** main_args;
+
+/**
+ * Main function. Just initializes snapshotting library and the
+ * snapshotting library calls the real_main function.
+ */
+int main(int numargs, char ** args) {
+ /* Stash this stuff in case someone wants it eventually */
+ main_numargs=numargs;
+ main_args=args;
+
+ /* Let's jump in quickly and start running stuff */
+ initSnapShotLibrary(10000, 1024, 1024, 1000, &real_main);