uses u_implicitexplicit2; 
begin 
assert(default(t1) = nil);
end.