--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dbg.c	Sat Nov 26 11:36:16 2005 +0900
@@ -0,0 +1,38 @@
+extern int option(int,char**);
+extern void usage();
+extern int printf(char*,...);
+
+extern int help;
+extern char* outfile;
+extern char* infile;
+
+void
+breakp(void *ret, void *env)
+{
+    return;
+}
+
+int
+main(int argc,char **argv)
+{
+    if(option(argc,argv)){
+	printf("Invalid option\n");
+	usage();
+	return 1;
+    }
+    if(help){
+	usage();
+	return 0;
+    }
+    if(infile){
+	printf("infile: %s\n", infile);
+    } else{
+	printf("Invalid usage\n");
+	usage();
+	return 1;
+    }
+    if(outfile){
+	printf("outfile: %s\n", outfile);
+    }
+    return 0;
+}