ProtocolBuffers definitions