dc_main
extern int dc_main(int, char **);
exit (dc_main(2, dc_argv));
int dc_main(int, char **);
return dc_main(argc, argv);