#include #include BEGIN_FUNC(idle_thread_routine) b . END_FUNC(idle_thread_routine)