--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/netdiff/flip2pin/main.c	Sun Nov 15 03:32:48 2020 +0000
@@ -0,0 +1,20 @@
+#include <stdio.h>
+#include <stdlib.h>
+#include "struct.h"
+
+struct flip_list *flip_list;
+
+main(argc, argv)
+	char **argv;
+{
+	int i;
+
+	if (argc != 3) {
+		fprintf(stderr, "usage: %s input-donl flip-list-file\n",
+			argv[0]);
+		exit(1);
+	}
+	read_flip_list(argv[2]);
+	main_process(argv[1]);
+	exit(0);
+}