@$pb.TagNumber(3) $core.String get spec => $_getSZ(0);
@$pb.TagNumber(3) set spec($core.String v) { $_setString(0, v); }