1 #include <stdlib.h>
2 
3 void ets_printf(const char *s); // not the correct prototype, but should be enough!
4 
ram_main()5 void __attribute__((noreturn)) ram_main()
6 {
7   while (1) {
8     ets_printf("Hello world!\n");
9   }
10 }
11