(defun rev (list)
    (defun rev-inner (input-list output-list)
        (if (eq input-list nil)
            output-list
            (rev-inner (cdr input-list) (cons (car input-list) output-list))))
    (rev-inner list `()))