/* Do something on RTC overflow here */ port_pin_toggle_output_level(LED_0_PIN);
port_pin_toggle_output_level(LED_0_PIN);