;; -*-theme-d-*-

;; Copyright (C) 2014  Tommi Höynälänmaa
;; Distributed under GNU General Public License version 3,
;; see file doc/GPL-3.

;; Expected results: translation and running OK


(define-proper-program (tests test414)


  (import (standard-library core)
	  (standard-library console-io))


  (define-simple-proc main (() <none> nonpure)
    (let ((prc (lambda (((x1 <integer>) (x2 <integer>) (x3 <integer>))
			<object> pure)
		 (lambda (((x4 <integer>) (x5 <integer>) (x6 <integer>))
			  <object> pure)
		   (lambda (((x7 <integer>) (x8 <integer>) (x9 <integer>))
			    <object> pure)
		     (lambda (((x10 <integer>) (x11 <integer>) (x12 <integer>))
			      <object> pure)
		       (+ (+ (+ x10 x7) x4) x1)))))))
      (console-display-line (prc 1 2 3)))))

