(let ((type t (record int string int)) (var v (new t 0 "abc" 0)))
  (:= (dot v 0) (+ (dot v 0) 1)))