1 2 3 4 5 6 7 8
#include <stdio.h> int printf_(const char *); int main() { printf_("Hello World!: "); }