(let ((type list (record int list)) (var head list (new list 0 nil))) 1)