Variable GLXPipeRect.destWidth

struct GLXPipeRect
{
  // ...
  int destWidth ;
  // ...
}