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