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