DER_OID_SZ_id_shake128_len
const unsigned char ossl_der_oid_id_shake128_len[DER_OID_SZ_id_shake128_len] = {
extern const unsigned char ossl_der_oid_id_shake128_len[DER_OID_SZ_id_shake128_len];