{ %FAIL }

const
  u  : unicodestring = '123456879';

  pu : punicodechar = @u[4];

begin
end.