/* Before you start, select your target, on the right of the "Load" button */
int main(void)
/* Before you start, select your target, on the right of the "Load" button */
int main(void)
{
		if (TM_DELAY_Time() >= 500) {
			TM_DELAY_SetTime(0);
			TM_DISCO_LedToggle(LED_RED | LED_GREEN);
		}
	}
}