adamc@763: fun main () = return adamc@763: <Whoa-hoa!> ABCD! adamc@763: