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: result ; rec: w]
015:         if ( result = result ) then {
016:                  if ( result < w.y ) then {
017:                         result := 8;
018:                 } else {
019:                         result := 9;
020:                 }(*  *)
021:         } else {
022:                 result :=  bar('c', 7);
023:         }
024: 	return 0;
025: }