(let ((type a (record (foo string) (bar int)))
      (var b 1)
      (var c "hello world")
      (var d (new a (foo "i am an a!") (bar 23))))
  (+ (+ b c) d))