begin
  var b := ('abc' is string(var s)) and (s = 'abc');
  Assert(b);
end.