touches ARRAY [0..5] OF
0 finite 1
VState Inout Const uq0 Dyn
always return 0.
Type a ARRAY [0..(SM
NumberOfInputs 16#0
ARRAY [0..63] OF BYTE
datasources, 0 for no
