pub const PSA_AEAD_VERIFY_OUTPUT_MAX_SIZE: u32 = 16;