type
  tstr = string[2];
  pstr = ^tstr;
  tarr = bitpacked array[0..20] of tstr;

procedure p(a: pstr);
begin
  a^ := 'ab';
end;

var
  a: tarr;
begin
  a[0]:='gh';
  p(@a[0]);
  if (a[0]<>'ab') then
    halt(1);
end.