stdout.WriteLine "What is your first name?"
let first = stdin.ReadLine()
stdout.WriteLine "What is your last name?"
let last = stdin.ReadLine()
printfn "Hello %s %s" first last
