Lisp 에서 tail recursion 질문입니다.

on Lisp를 읽고 있는 Lisp 초보입니다.

이 책 초반부에 소개된 유틸리티 함수 중,

flatten 이라는 함수의 구현이 tail recursion 인지 잘 이해가 안됩니다.

;구현
(defun flatten (lst)
..(labels ((rec (x acc)
............(cond ((null x) acc))
..................((atom x) (cons x acc))
..................(t (rec (car x) (rec (cdr x) acc))))))
....(rec lst nil)))

;실행 예
CL-UESR> (flatten '(a (b c) ((d e) f)))
(A B C D E F)

이 함수의 구현을 보면 rec의 인자 x가 nil 이나 atom이 아닐 경우 rec를 호출하면서 두번째 인자값으로

또 다른 rec 호출의 리턴값을 사용하고 있는데요, 이렇게 하면 그때마다 어디서 rec를 호출하는지 스택에

기록되는것 아닌가요? 글로 써놓고 보니 질문이 좀 엉성하네요. ㅡㅡ; 저는 재귀호출의 리턴값을 사용하지

않는 것이 tail recursion 인것으로 이해하고 있었는데요, 혼란스럽네요. 책에 보면 tail recursion인

것처럼 나오거든요.

이 구현이 tail recursion 이 맞는지, 어떻게 그렇게 이해할 수 있는지 조언 부탁드립니다. 꾸벅

(들여쓰기가 안되서 점으로... ㅡㅡ;)