Interesting.  I did not know that was legal with Protocol Buffer definitions, and I don't think I've ever seen that before (past life as a Googler).  Cool.  That part looks fine, then.