PiperOrigin-RevId: 309265978
It seems no longer necessary. PiperOrigin-RevId: 305758572
PiperOrigin-RevId: 296519566