optarg            114 src/casl2.c                objfile = objfile_name(optarg);
optarg            118 src/casl2.c                objfile = objfile_name(optarg);
optarg            134 src/casl2.c                memsize = atoi(optarg);
optarg            137 src/casl2.c                clocks = atoi(optarg);
optarg             62 src/comet2.c               memsize = atoi(optarg);
optarg             65 src/comet2.c               clocks = atoi(optarg);
optarg             57 src/comet2monitor.c             memsize = atoi(optarg);
optarg             60 src/comet2monitor.c             clocks = atoi(optarg);