pub const PSA_AEAD_TAG_LENGTH_OFFSET: u32 = 16;