type rec: [character: x; integer: y]

type T2: rec -> integer

type main: string -> integer
function entry: main
function bar: T2

bar (r,s) := {
    return 0;
}

entry (arg) := {
 	[ integer: x ; integer: y; integer: z;integer: t]

        if ( (x = y) < ( z = t ) ) then {
                if ( (x < y) = ( z < t ) ) then {
                        x := x;
                } else {
                        x :=  1; (* bar('c', 7); *)
                }
        } else {
                return 0;
        }
}