tmrwatch/test/hello.c

#include <stdio.h>

void foo()
{
   printf("printint: \n", );
}