#include <Ticker.h>

Ticker timer1;
bool ledState = LOW;

void blinkLED() {
  ledState = !ledState;
  digitalWrite(23, ledState);                        // Toggle red LED
  Serial.printf("[%ld]: %s\n", millis(), __func__);
}

void setup() {
  Serial.begin(115200);
  Serial.println("Lab 5.3");
  pinMode(23, OUTPUT);    // Red LED
  pinMode(22, OUTPUT);    // Blue LED
  pinMode(32, INPUT);     // Pushbutton

  timer1.attach(5.0, blinkLED);  // Call blinkLED every 5 seconds
}

void loop() {
  // Switch blue LED based on pushbutton
  digitalWrite(22, digitalRead(32));
}