#include "TeensyTimerTool.h"
#include "pins.h"

using namespace TeensyTimerTool;
using namespace pins;

pin<13> LED(OUTPUT);
Timer timer;

void setup()
{
    timer.beginOneShot([] { LED = LOW; });
}

void loop()
{
    LED = HIGH;
    timer.trigger(25'000);
    delay(1'000);
}