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: (* if ( y & (z | t) ) then { *) 016: if ( ( x = y ) & ( z < t ) ) then { 017: (* y := z < t; *) 018: t:= 0; 019: } else { 020: (* t := z = t; *) 021: z := 1; 022: } 023: (* 024: if ( x & y ) then { 025: t := true; 026: } else { 027: y := true; 028: } 029: *) 030: (* } else { *) 031: (* } *) 032: (* x := x & y; *) 033: return 0; 034: }