@$pb.TagNumber(14) $core.String get extraInfo => $_getSZ(13);
@$pb.TagNumber(14) set extraInfo($core.String v) { $_setString(13, v); }