let type t = {int,int} var x:t := new t{1,2} in x.0 := 3; x.0 end