pub fn idle_loop() -> !