#pragma once #include void schedule(); void scheduler_insert(thread_t *th); void scheduler_init();