extern u32 nds_get_time7(void);