fun main () = return <Whoa-hoa!> ABCD!