pub const PSA_ALG_SHA_512: psa_algorithm_t = 0x0200000b;