module examples.helloworld;

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