#include <Ticker.h>
      
     Ticker ticker;
     int count = 0;

     void blink() {
        digitalWrite(22,  !digitalRead(22));
        if (++count > 5)
           ticker.detach();
        Serial.printf("count: %d\n");
     }

     void setup() {
  Serial.begin(115200);
  pinMode(23, OUTPUT);          // Red LED
  pinMode(22, OUTPUT);         //  Blue LED
  pinMode(32, INPUT_PULLDOWN);    //Pushbutton
  ticker.attach(1.0, blink);
 }
  
 void loop() {
   digitalWrite(23, digitalRead(32));
}