begin
  var (a, b) := (1,1);
  assert((a=1) and (b=1));
  assert((a,b) = (1,1));
end.