1ACTOR
2loop
3state
4choose
5when
6wait
7waitNext
8DESCR