pub type TEE_BigIntFMMContext = u32;