module helloworld; behavior HelloWorld { void act(String arguments[]){ standardOutput<-print("Hello")@ standardOutput<-println(" World!"); } }