Code block {0} has {1} elements on the stack after execution; should be 0 or 1.
Validates the final stack level of code blocks, which should be 0 or 1.
Guaranteed stack underflow condition detected at {0}::{1}: stack level = {2}.
Validates the stack level of instructions, which should be 0 or higher.