module examples.helloworld;
/* 
 * This program always prints "Hello World" since the
 * currentContinuation keyword (along with the token-passing
 * continuation in "act") ensures that the println(" World!")  message
 * does not get sent to standardOutput until it has finished
 * processing the print("Hello") message.
 */
behavior HelloWorld3 {
    void hello(){
	standardOutput<-print("Hello") @ 
	    currentContinuation;
    }
    void act(String arguments[]){
	hello()@
	standardOutput<-println(" World!");
    }
}