uses u_defaultparams2; 
begin 
assert(f = 0);
end.