Description
An instance of this record whose a field has value 27 (encoded as hex 36) and whose b field has value "foo" (encoded as hex bytes OC 66 6f 6f), would be encoded simply as the concatenation of these ...
but "foo" should be encoded as zigzag(3) followed by "foo". zigzag(3) is 0x06, not 0x0c