#include <Ticker.h>

Ticker ticker;
int count = 0;

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

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));
}