`(setq ,(car args) (lambda ,(cadr args)
                                   ,@(cddr args)))))

               `(setq ,(car args)
                      (lambda ,(cadr args) ,@(cddr args)))))
(macro defintrinsic (lambda (args)
                      `(setq ,(car args)
                             (lambda ,(cadr args)
                               (,(car args) ,@(cadr args))))))

(setq only2+ (lambda (a b) (only2+ a b)))
(setq + (lambda xs (foldl only2+ 0 xs)))
(setq only2* (lambda (a b) (only2* a b)))
(setq * (lambda xs (foldl only2* 1 xs)))
(setq only2- (lambda (a b) (only2- a b)))
(setq - (lambda xs (reduce only2- xs)))
(setq only2/ (lambda (a b) (only2/ a b)))
(setq / (lambda xs (reduce only2/ xs)))
(setq only2// (lambda (a b) (only2// a b)))
(setq // (lambda xs (reduce only2// xs)))
(setq only2% (lambda (a b) (only2% a b)))
(setq % (lambda xs (reduce only2% xs)))
(setq only2** (lambda (a b) (only2** a b)))
(setq ** (lambda xs (reduce only2** xs)))
(setq atan2 (lambda (a b) (atan2 a b)))
(setq cos (lambda (x) (cos x)))
(setq sin (lambda (x) (sin x)))
(setq exp (lambda (x) (exp x)))
(setq log (lambda (x) (log x)))
(setq sqrt (lambda (x) (sqrt x)))
(setq rand (lambda () (rand)))
(setq srand (lambda (x) (srand x)))
(setq int (lambda (x) (int x)))
(setq unsafe-system (lambda (x) (unsafe-system x)))
(setq shellquote (lambda (x) (shellquote x)))
(setq intercalate (lambda (it them)
                          (cond ((null them))
                                ((null (cdr them)) them)
                                (true (cons (car them)
                                            (cons it
                                                  (intercalate it (cdr them))))))))
(setq string-join (lambda args (apply strcat (intercalate (car args) (cdr args)))))
(setq system (lambda argv (unsafe-system (apply string-join " " (mapcar shellquote argv)))))
(setq tolower (lambda (x) (tolower x)))
(setq toupper (lambda (x) (toupper x)))
(setq substr (lambda xs (cond ((eq (list-length xs 2))
                               (substr (car xs) (cadr xs)))
                              (true (substr (car xs) (cadr xs) (caddr xs))))))
(setq index (lambda (s t) (index s t)))
(setq match (lambda (s r) (match s r)))
(setq split (lambda (s fs) (split s fs)))
(setq sub (lambda (r t s) (sub r t s)))
(setq gsub (lambda (r t s) (gsub r t s)))

(defintrinsic only2+ (a b))
(defun + xs (foldl only2+ 0 xs))
(defintrinsic only2* (a b))
(defun * xs (foldl only2* 1 xs))
(defintrinsic only2- (a b))
(defun - xs (reduce only2- xs))
(defintrinsic only2/ (a b))
(defun / xs (reduce only2/ xs))
(defintrinsic only2// (a b))
(defun // xs (reduce only2// xs))
(defintrinsic only2% (a b))
(defun % xs (reduce only2% xs))
(defintrinsic only2** (a b))
(defun ** xs (reduce only2** xs))
(defintrinsic atan2 (a b))
(defintrinsic cos (a))
(defintrinsic sin (a))
(defintrinsic exp (a))
(defintrinsic log (a))
(defintrinsic sqrt (a))
(defun rand () (rand))
(defintrinsic srand (a))
(defintrinsic int (a))
(defintrinsic unsafe-system (a))
(defintrinsic shellquote (a))
(defun intercalate (it them)
  (cond ((null them))
        ((null (cdr them)) them)
        (true (cons (car them)
                    (cons it
                          (intercalate it (cdr them)))))))
(defun string-join args
  (apply strcat (intercalate (car args) (cdr args))))
(defun system argv
  (unsafe-system (apply string-join " " (mapcar shellquote argv))))
(defintrinsic tolower (s))
(defintrinsic toupper (s))
(defun substr xs
  (cond ((eq (list-length xs 2))
         (substr (car xs) (cadr xs)))
        (true (substr (car xs) (cadr xs) (caddr xs)))))
(defintrinsic index (s t))
(defintrinsic match (s r))
(defintrinsic split (s fs))
(defintrinsic sub (r t s))
(defintrinsic gsub (r t s))

(setq strcat (lambda xs (strcat xs)))
(setq getline (lambda () (getline)))

(defintrinsic strcat (xs))
(defintrinsic getline ())

(setq fflush nil)
(setq close nil)
(setq gc-dot nil)
(setq gc nil)
(setq dump-dot nil)
(setq dump nil)

(defintrinsic fflush ())
(defintrinsic close (fn))
(defintrinsic gc-dot (marks-dot-fn sweeps-dot-fn))
(defintrinsic gc ())
(defintrinsic dump-dot (heap-dot-fn))
(defintrinsic dump ())