Example in ST *) [...] Example declaration *)
value Example in ST
(* Example [...] CTU ; (* Example in ST *) CTUInst ( CU
. (* Example [...] STRING ; (* Example in ST , result is 'US
(* Example [...] ; (* Example in ST *) TPInst (
Example in ST: i := INT
of value X Example in ST
DWORD value Example in ST: var1 := 38 ;