#include "gpio.h" void stop_app_fallback(void) { for (;;) gpio_onoff(GPIOS[0], 400, 1); }