001: type rec: [character: x; integer: y]
002: 
003: type T2: rec -> integer
004: 
005: type main: string -> integer
006: function entry: main
007: function bar: T2
008: 
009: bar (r,s) := {
010:     return 0;
011: }
012: 
013: entry (arg) := {
014:  	[ Boolean:x ; Boolean:y ; Boolean:z ; Boolean:t]
015:         while ( ( x | y ) (* | ( z | t ) *)  ) {
016:                 (*
017:                 if ( ( x < y ) & ( z = t ) ) then {
018:                         y := z < t;
019:                 } else {
020:                         t := z = t;
021:                 }
022:                 *)
023:                 y := t < z; (* bar('c', 7); *)
024:         }
025:         (* x := x & y; *)
026: 	return 0;
027: }