main := iobind_ (iowriteDec 1337) (%iowrite '\n');