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