Как происходит выход из подпрограммы ?

Стек очищается.
Операнды помещаются в стек.
Стек получает адрес подпрограммы.
Вектор прерывания заменяется новым.
Счетчик команд заполняется из стека.

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.