fun main () = return Go to the other one! and other () = return Return to main!