StateMachine : BOOL In [...] StateMachine BOOL
BOOL InOut: Scope [...] StateMachine BOOL
LibReleased : BOOL [...] LibReleased BOOL
_Abort : BOOL In [...] Return prv_Abort BOOL
_Start : BOOL In [...] Return prv_Start BOOL