(: io format '"Hello world!~n")