let type t = {int,int} var an_lvalue:t := new t{4,5} in an_lvalue.1 end