//#DOC Main, program entry and main loop
#include "main.h"
#include <otSerial.h>
#include <otPrintfLite.h>
void setup()
{
UartEnableSignals(UART0);
UartSetBaud(UART0, 115200);
setStdout(UART0); // printf output is now directed on UART0
}
void loop()
{
for(int i = 0; i < 1000; i++)
printf("i = %4d\n", i);
printf("End of count\n");
IDLE;
}