@$pb.TagNumber(7) $core.int get dummy7 => $_getIZ(6);
@$pb.TagNumber(7) set dummy7($core.int v) { $_setSignedInt32(6, v); }