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