@$pb.TagNumber(61) $core.int get defaultInt32 => $_getI(51, 41);
@$pb.TagNumber(61) set defaultInt32($core.int v) { $_setSignedInt32(51, v); }