Comment by my-next-account

Aha, yeah. It utilizes the compiler to insert guards at each function prologue, determining the remaining stack size.