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: [ integer: x ; integer: y; integer: z;integer: t] 015: 016: if ( (x = y) < ( z = t ) ) then { 017: if ( (x < y) = ( z < t ) ) then { 018: x := x; 019: } else { 020: x := 1; (* bar('c', 7); *) 021: } 022: } else { 023: return 0; 024: } 025: }