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