// design:BadPixel