path: root/check/type/bool/pass-while.p

program main ( input, output );
        var a: integer;
begin
	while ((1 = 1) )
        do
                a:= 1
end.