--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tool/main.c	Wed Jun 03 07:40:00 2015 +0000
@@ -0,0 +1,23 @@
+/*
+ * libpatch main module
+ */
+
+#include <stdio.h>
+#include <stdlib.h>
+#include "globals.h"
+
+main(argc, argv)
+	char **argv;
+{
+	if (argc != 4) {
+		fprintf(stderr, "usage: %s in.out patch-desc out.lib\n",
+			argv[0]);
+		exit(1);
+	}
+	lib_in_filename = argv[1];
+	patch_desc_filename = argv[2];
+	lib_out_filename = argv[3];
+	read_spec_file();
+	/* code to be filled here */
+	exit(0);
+}