pub type Time = TEE_Time;
struct Time { pub seconds: u32, pub millis: u32, }
seconds: u32
millis: u32