uses u_staticconstr2; 
begin  
  new t1<byte>;
  assert(t1&<byte>.i = 1);
end.