Попытка понять реализацию функции alloca() в сборке на x86

Я новичок в ассемблере и сейчас читаю книгу под названием Reverse Engineering for Beginners и добрался до той части, где говорится о распределении памяти в стеке. Я понимаю (я думаю) концепцию распределения стека, но в примере было что-то, чего я не понял, и я буду рад, если кто-нибудь здесь сможет помочь.

Книга дает эту функцию в качестве примера:

#ifdef __GNUC__
#include <alloca.h> // GCC
#else
#include <malloc.h> // MSVC
#endif
#include <stdio.h>
void f()
{
    char *buf=(char*)alloca (600);
#ifdef __GNUC__
    snprintf (buf, 600, "hi! %d, %d, %d\n", 1, 2, 3); // GCC
#else
    _snprintf (buf, 600, "hi! %d, %d, %d\n", 1, 2, 3); // MSVC
#endif
    puts (buf);
};

Я понимаю, что делает функция C. Он выделяет 600 байт памяти в стеке, а затем записывает в это пространство строку hi! используя функцию _snprintf . Затем функция печатает его.

Все хорошо на данный момент. После этого в книге приводится реализация сборки, созданная компилятором MSVC, и код выглядит так:

mov eax, 600 ; 00000258H
call __alloca_probe_16
mov esi, esp
push 3
push 2
push 1
push OFFSET $SG2672
push 600 ; 00000258H
push esi
call __snprintf
push esi
call _puts
add esp, 28 

Здесь я понимаю, что регистр EAX будет содержать аргумент для функции __alloca_probe_16. но теперь что-то не имеет смысла для меня. Насколько я понимаю, функция __alloca_probe_16 в основном просто вычитает количество байтов, которое находится в значении EAX, из ESP.

Так, например, если ESP указывает на 1000, теперь оно указывает на 400. Затем мы сохраняем 400 в ESI и начинаем помещать аргументы _snprintf в стек, а ESI указывает на место, куда функция должна начать запись данных. Итак, моя проблема заключается в следующем, если оба регистра ESP и ESI указывают на 400, и я выделил память из 1000-400 (600 байт), и я начинаю запихивать вещи в стек, не войдут ли они в позицию, начиная с 400 и уменьшается? Я имею в виду, почему он вычел 600 байт, если он их не использует? На мой взгляд, так выглядит стек после строки push esi.

|          400          |
|          600          |
|    adrr of string     |
|           1           |
|           2           |
|           3           | 400 , ESP , ESI
|                       | ...
|_______________________| 1000

Я знаю, что я, вероятно, ошибаюсь и что-то не так понял, потому что я не думаю, что книга неверна, я буду рад, если кто-то поможет мне понять, что происходит в этом ассемблерном коде.