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