case 'EX': {
          if (arguments.length === argc)
            return BAD_ARGS;
          optEX = arguments[argc++];
          /*jshint -W018*/