pub fn core_debug_time() -> u32