fun target () = return Welcome! fun main () = return Go there