Путаница, связанная с виртуальной машиной в nand2tetris

Здесь нужно учитывать 2 основные части:

1. call foo 2: эта инструкция говорит vm вызвать функцию foo, которая принимает 2 аргумента (которые должны быть помещены на вершину стека перед этим вызовом).
   Вызов любой функции означает, что вы должны выполнить следующие шаги: поместить адрес возврата на вершину стека (SP++), затем поместить LCL, ARG, THIS,THAT ( SP+4). В этот момент SP должно равняться 310.
2. function foo 4 : это НЕ первая инструкция в функции foo, но тем не менее она влияет на SP, так как это означает, что функция foo имеет 4 локальные переменные. И эти переменные должны где-то располагаться. Где? На вершине стека. Это означает, что до того, как будет выполнена первая «настоящая» инструкция foo, мы должны поместить в стек 4 значения. Какие ценности? Что ж, в соответствии со спецификацией do vm это должно быть 0, в результате чего локальные переменные инициируются в 0. Это также означает, что мы увеличиваем SP для каждой локальной переменной ( SP + 4)

Это приводит к выводу, что SP после вызова foo, но до выполнения 1-й инструкции этой функции будет иметь значение 314.