#include "errno.h"
// --- Types ---
+typedef int tPID;
+typedef int tTID;
typedef Uint tUID;
typedef Uint tGID;
typedef Sint64 tTimestamp;
extern void Threads_Exit();
extern void Threads_Yield();
extern void Threads_Sleep();
+extern tPID Threads_GetPID();
+extern tTID Threads_GetTID();
extern tUID Threads_GetUID();
extern tGID Threads_GetGID();
extern int SpawnTask(tThreadFunction Function, void *Arg);