Documented push(), pop() and protocolHandler()