@$pb.TagNumber(17) $core.String get stringValue => $_getSZ(9);
@$pb.TagNumber(17) set stringValue($core.String v) { $_setString(9, v); }