Поясню. Есть область , назовем её T, в ней находятся переменные, в т.ч. и внутренние переменные ФБ и стек.
Стек растёт снизу, переменные сверху. ОвенЛоджик проверяет. чтобы они не встретились.