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