printfn "Hello World"; printf "Hello world";