CL-USER> (trace (flet y :in x) :encapsulate nil)
((FLET Y :IN X))
CL-USER> (x)
  0: ((FLET Y :IN X) #<unused argument>)
  0: (FLET Y :IN X) returned 42
42