module cell; behavior CellTester{ void act(String args[]){ Cell c = new Cell("Hello"); standardOutput<-print("Initial Value:") @ c<-get()@ standardOutput<-println(token) @ c<-set("World")@ standardOutput<-print("New Value:") @ c<-get()@ standardOutput<-println(token); } }