Рамки стека и крышки

Как работает процесс выделения / освобождения фрейма стека для замыканий? В частности, когда возвращается замыкание (освобождение кадра), на что установлен счетчик программы?

Примечание: это не для работы. Сейчас я прохожу курс по продвинутой архитектуре и надеюсь подтвердить / исправить мое понимание этого процесса.