#include "thread/Thread.h" #include static u64 g_next_id = 1; DoublyLinkedList g_threads; Result new_thread() { Thread* thread = TRY(make()); thread->id = g_next_id++; return thread; }