hello_world_string: Hello, World!