pub const PSA_ALG_SHA_512_256: psa_algorithm_t = 0x0200000d;