// before
void reset_device(void) {
    for (size_t i = 0; i < 3; i++) {
        GPIO1->OUT = 0x01;
        delay(10);
        GPIO1->OUT = 0x00;
        delay(10);
    }
}
