optarg            115 src/casl2.c                objfile = objfile_name(optarg);
optarg            119 src/casl2.c                objfile = objfile_name(optarg);
optarg            135 src/casl2.c                memsize = atoi(optarg);
optarg            138 src/casl2.c                clocks = atoi(optarg);
optarg             62 src/comet2.c               memsize = atoi(optarg);
optarg             65 src/comet2.c               clocks = atoi(optarg);
optarg             56 src/comet2monitor.c             memsize = atoi(optarg);
optarg             59 src/comet2monitor.c             clocks = atoi(optarg);