@$pb.TagNumber(241) $core.int get defaultInt32 => $_getI(100, -123456789);
@$pb.TagNumber(241) set defaultInt32($core.int v) { $_setSignedInt32(100, v); }