pub type TEE_Whence = u32;