#include <Plaquette.h>

DigitalIn button(2, INTERNAL_PULLUP);
DigitalOut led(LED_BUILTIN);

void begin() {
  button.debounce();
}

void step() {
  button >> led;
}