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