internal Value CheckStackTop() { if (this.stack.Count != 1) { Utils.Panic (); } return this.stack.Top (); }