ProtocolState output