(let ((type t (record int int))) (new t 1 2))