adamc@644: fun main () = return adamc@644: