Согласно Вики: вызывающая сторона помещает адрес возврата в стек, а вызываемая подпрограмма, когда она завершается, извлекает адрес возврата из стека вызовов и передает управление этому адресу. Фото из Вики: Я не совсем понимаю...