pub const WBCL_DIGEST_ALG_ID_SHA_2_512: u32 = 13u32;