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:         while ( result = result ) {
016:                 while ( result < w.y ) {
017:                         result := 8;
018:                 }
019:                 result := 9;
020:         }
021:  	result := bar('c', 7);
022: 	return 0;
023: }