static char *args [] = {
  "-Y0@/m3/bin/m3compil@",
  "-Y1@/djgpp/bin/gcc@",
  "-Y2@/djgpp/bin/ld@/djgpp/lib/crt0.o@-L/djgpp/lib@-lgcc@-L/djgpp/lib@-lc@",
  "-Y3@/djgpp/bin/ar@",
  "-Y4@/djgpp/bin/ranlib@",
  "-Y5@/djgpp/bin/ld@-A@",
  "-Y6@/djgpp/bin/cpp@-lang-c@-undef@-noprecomp@",
  "-Y7@/djgpp/bin/cc1@-quiet@-dumpbase@",
  "-Y8@/djgpp/bin/as@",
/*"-Y9@not used@, */
  "-D.:/m3/local/include:/m3/include",
  "-L.:/m3/lib:/djgpp/lib",
  "-z0@-O2@",
  "-z1@@",
  "-z2@-lm3@-lm@",
  "-z3/m3/lib/report_coverage.o",
  "-z4/m3/lib",
  "-z50",
  "-z60",
  "-z7@-N@",
  "-z8@-G@0@-g2@",
  "-z9@-lc_G0@",
  "-zA0",
  0 };
char **DriverConfig__args = args;