println_str "Hello World"