Printf.printf"Hello, %s!"(try read_line()with _->"world")