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]
        while ( (!(x = y)) < ( z = t ) ) {
                x := x;
                while ( (x < y) = ( z < t ) ) {
                        y := y;
                }
                (*
                if ( (x = y) = ( z < t ) ) then {
                        x :=  1;
                } else {
                        x :=  1;
                }
                *)
        }
        return 0;
}