begin
var s: string[1];
var s0: string := nil;
s := s0;
assert(s = '');
end.