Auto variables can be stored anywhere, so long as recursion works. Practically, they‘re
stored on
the stack. It is not necessary that always a stack exist. You could theoretically allocate function
invocation records from the heap.