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