CONTEXT
  StateSystemCtx
EXTENDS
  SystemCtx
SETS
  STATES
END