Constant TEE_ALG_SHAKE128 

pub const TEE_ALG_SHAKE128: u32 = 1342177537;