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