void init_scheduler(void)
{
}