The python script for wav file conversion can be found on github.
https://github.com/circuitsforfun/Wav2Header

As well as an example project for the Pic microchip written MikroC.