Protobuf definitions for hyper+protobuf