@$pb.TagNumber(1) RawVector get positive => $_getN(0);
@$pb.TagNumber(1) set positive(RawVector v) { $_setField(1, v); }