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.