Constant TEE_ALG_SHAKE256 

pub const TEE_ALG_SHAKE256: u32 = 1342177538;