integer main(void) { o_text("Hello World\n"); return 0; }