(fini-state ..body)
  body: zero or more forms

Defines a state finalizer method.

The finalizer is invoked just before a state is disabled.

Note that, when an object is killed, all of its states are automatically disabled first.