NumberOfInputs 16#0
State_BASE 0 Application
Initial AnySystem 0
between begin (0) and
Offset BYTE Range: 0 to 7
touches ARRAY [0..5] OF
0 finite 1
VState Inout Const uq0 Dyn
always return 0.