let var x : {x:int} := new t {x=1} in 1 end