8274221: More definite BER encodings

Backport-of: ee39b0fc22a55a051b8a4d5754c34105fe4b734e
1 file changed