Стек функций

[Utkin]

Очередной вопрос на тему интерпретаторов .
В общем, я организовал стек вызов функций (то есть допускается и рекурсия). В данном стеке хранятся все данные функций. Однако, еще имеются статические переменные (те которые сохраняют свои значения при выходе из функции, до следующего вызова). Как быть с ними? При выходе из функции ее данные выталкиваются из стека и передается результат, передавать все статические переменные довольно-таки накладно (особенно, если учесть, что все переменные - строки).
Чуть не забыл, ситуация осложняется тем, что функция может управлять своим состоянием, она имеет право при помощи специальной команды читать данные функции из которой она вызвана.
То есть если имеется функция А, вызвавшая функцию Б, то функция Б может прочесть данные функции А (но не может их менять). Теперь представьте рекурсию, где А и Б есть одна и таже функция, где часть переменных различна, а часть совпадает (статические переменные общие на всю рекурсию).