/* * Push a marker onto the stack. */ internal void PushMarker() { Push(XValue.MakeMarker(topMarker)); topMarker = stackPtr; }