scalar: vDst := d * v
:= dst + lhs * rhs
Minuten : BYTE := 16
‘conditionalshow’ := ‘Some
_VAR deviceCount := 0 ; [...] DO deviceCount := device
between two states: uDst :=
-dimensional vectors: vDst := vLhs x
InstCount := 5 ). [...] InstPoolExtendsFactor := 50 always