Convenience function that clears the stack and adds a single label. REQUIRES: label >= 0.
See Implementation
Convenience function that clears the stack and adds a single label. REQUIRES: label >= 0.