UINT64 __stdcall BvgaSetTextColor(UINT64 Color){ unsigned int v1; int v3; int v4; v4 = 40; v1 = Color; BvgaTerminalTextColor = 37; v3 = 37; HeadlessDispatch(9ui64, (UINT8 *)&v3, 8ui64, 0i64, 0i64); return VidSetTextColor(v1); }