pub type Time = TEE_Time;
#[repr(C)]pub struct Time { pub seconds: u32, pub millis: u32, }
seconds: u32
millis: u32