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