main := %iobind %ioread \c .
        %unit? c (%ioreturn ())
                 (%iobind (%iowrite c) \x . main);