--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rvinterf/ctracedec/main.c	Sat Jun 11 00:13:35 2016 +0000
@@ -0,0 +1,26 @@
+/*
+ * This module contains the main() function for ctracedec
+ */
+
+#include <stdio.h>
+#include <stdlib.h>
+
+char *str2ind_tab_filename;
+
+main(argc, argv)
+	char **argv;
+{
+	int i;
+
+	if (argc < 3) {
+		fprintf(stderr,
+			"usage: %s str2ind.tab logfile [more log files]\n",
+			argv[0]);
+		exit(1);
+	}
+	str2ind_tab_filename = argv[1];
+	read_str2ind_tab();
+	for (i = 2; i < argc; i++)
+		process_log_file(argv[i]);
+	exit(0);
+}