begin
  assert(default(integer) = 0);
  assert(default(string) = nil);
end.