8 extern void Video_SetResolution(int Width, int Height);
9 extern void Video_PSet(int X, int Y, uint8_t R, uint8_t G, uint8_t B);
10 extern void Video_Flip(void);
11 extern void *Thread_Create(void *Function, void *Argument);
12 extern void Thread_Yield(void);