Source from Microchips dsPIC33E Starter Kit demo board