fun main () = return Hello world!

Hello world!