   TRACE(sizeof(PWMPin));
   TRACE(sizeof(Watchdog));
 
+  // Start the watchdog
+  Watchdog::begin();
+
   // Check interrupt pin; enable and print interrupt counter
   PinChangeInterrupt::begin();
   TRACE(int0Pin.get_counter());

InputPin onoffPin(Board::D7);
AnalogPin levelPin(Board::A0);

// Dummy event handler
Event::Handler handler;

void setup()
{
  // Start trace output stream on the serial port

  int2Pin.enable();
  TRACE(extPin.get_counter());
  extPin.enable();
}

Watchdog::Clock clock;

void loop()
{
  // Wait for the next seconds tick
  clock.await();

  // Print the time index
  INFO("ms = %d", Watchdog::millis());
