/* the ubiquitous Hello World program as a Web service */ service { session Hello() { exit

Hello, World!

; } }