State Attribute: XXX

This attribute does X.

Substructure of the attribute:

(<state> ^XXX <id>)
  (<id> )

Implementation of output function: zzz.c