Type Alias TEE_BigIntFMMContext 

pub type TEE_BigIntFMMContext = u32;