PWM (ECCP) - piezo-sounder directly connected to half-bridge on PIC

[fratello]

augment ... piezo-sounder's loudness by inverting its power polarity @ 4kHz (kind of 10V peak-to-peak).

Please, can you post the code for this particular thing ? Thanks !