A client device or other processing device comprises a file processing module, with the file processing module being operative to provide a file to a file system for encoding, to receive from the file system a corresponding encoded file, and to verify that the file system stores at least a designated portion of an encapsulation of the encoded file. By characterizing the LED array and knowing the amplitude and frequency of the signal due to vibration which causes the banding, the LEDs’ driving currents are modulated in reverse direction corresponding to the banding signal to suppress the banding. In order to deform the cooling water pipe, for example, the cooling water pipe is bent first, and subsequently bulge forming by hydraulic pressure is performed.