#include "std/io.toc", io; main ::= fn() { io.file_writes(&io.std_out, "hello!\n"); io.file_flush(&io.std_out); }