- int memsize = DEFAULT_MEMSIZE, clocks = DEFAULT_CLOCKS, opt, i, stat = 0;
- char *af[argc], *objfile = NULL;
- const char *version = PACKAGE_VERSION, *cmdversion = "casl2 of YACASL2 version %s\n";
+ int memsize = DEFAULT_MEMSIZE;
+ int clocks = DEFAULT_CLOCKS;
+ int opt = 0;
+ int stat = 0;
+ int asfilecnt = 0;
+ char **asfile = NULL;
+ char *objfile = NULL;
+ const char *version = PACKAGE_VERSION;
+ const char *cmdversion = "casl2 of YACASL2 version %s\n";