path: root/tests/webtbf/tw9522b.pp

{ %fail }

type ts = set of 0..7;
begin
        writeln(1 in ts(65));
end.