6 ways to blink the built-in Led

Here are 6 ways to blink the built-in Led (USERLED) on a Pinguino board.

The User Led is connected to pin : (it could be another pin on some Pinguino boards)
 * Microchip Pin Designation : pin #2 or RA0 (bit 0 of PORT A)
 * Pinguino Pin Designation : pin #13 (aka D13)

Example 1 : with PIC registers
Or (only for PIC32MX)

Example 5 : using the watchdog timer
The Watchdog, when enabled, operates from the 32kHz internal Low-Power Oscillator (LPRC) clock source and can be used to detect system software malfunctions by resetting the device if the Watchdog is not cleared periodically in software. The Watchdog can also be used to wake the device from Sleep or Idle mode. The Watchdog time-out period is set to 1ms.