The resulting output is the same as the input but rendered in a typewriter font:
#include <stdio.h> /* needed for printf */ int main() { printf("Hello World\n"); return 1; }
Return