(defun a ()
  (+ a 1 +1 -1 1.0 :a t nil (0 . 0)))