#include "std/io.toc", io; main ::= fn() { io.puts("Hello!"); io.puti(17); }; main();