adamc@378: fun main () = return adamc@378: adamc@378: Hello world! adamc@378: adamc@378: adamc@378: adamc@378:

Hello world!

adamc@378: adamc@378: