let in let type t = {int, string, int} var v := new t {0, "abc", 0} in v.0 := v.0 + 1 end ; 1 end