Constant PSA_AEAD_FINISH_OUTPUT_MAX_SIZE 

pub const PSA_AEAD_FINISH_OUTPUT_MAX_SIZE: u32 = 16;