(fsm ..state-clauses)
  state-clauses: zero or more forms
C

Defines a set of mutually exclusive states.

The immediate children of an fsm clause must all be state or state* clauses.

The only effect of the fsm clause is that, when one of its immediate children would be enabled, and one of its other children is already active, the active child is automatically disabled first.

state*
init-state