STROKE_CLIP      1249 lib/pdf/GFXOutputDev.cc         if(flags&STROKE_CLIP) {
STROKE_CLIP      1258 lib/pdf/GFXOutputDev.cc         if(flags&STROKE_CLIP) 
STROKE_CLIP      1336 lib/pdf/GFXOutputDev.cc     strokeGfxline(state, line, STROKE_FILL|STROKE_CLIP);