(let ((type rec (record int int)) (var tmp rec (new rec 1 2)))
  (if (<> (dot tmp 0) 1) 1 2))