types
Greeter = autocons system
|[
var
done : bool = false
actions
obs HelloWorld = requires done = false :
done := true
end
do
HelloWorld
od
]|
system
Greeter