(let ((type foo (record string int))
      (type bar (record string foo))
      (var foobar bar (new bar "a foobar" (new foo "foo" 42))))
  (dot (dot foobar 1) 0))