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.
Type a ARRAY [0..(SM
NumberOfInputs 16#0
