Constant TEE_OPERATION_DIGEST 

pub const TEE_OPERATION_DIGEST: u32 = 5;