1 2 3 4 5 6 7 8
#include <stdio.h> int main(int argc, char** argv) { printf("Hello world on DUT \n"); return 0; }