module examples.helloworld;
/* 
 * This program could print "Hello World" or "World Hello" since the
 * token-passing continuation guarantees that print("Hello") is sent
 * to standardOutput before println("World") is sent, but it does not
 * guarantee that standardOutput will receive the two messages or
 * process them in that order.
 */
behavior HelloWorld2 {
    void hello(){
	standardOutput<-print("Hello");
    }
    void act(String arguments[]){
	hello()@
	standardOutput<-println(" World!");
    }
}