int main(void) { GPIO_Example_LED_Blink(); while (1) { } }
int main(int argc, char **argv) { GPIO_Example_LED_Blink(); while(1); }