INT64 __fastcall MiInitializeColorTable(_DWORD *a1, INT64 a2){
_DWORD *v2;
__int64 v3;
INT64 result;
v2 = a1;
a1[3] = dword_140C4DC38 & ExGenRandom(1i64) | ((_DWORD)a2 << byte_140C4DBCC);
v3 = 3i64;
do
{
result = ExGenRandom(1i64);
*v2++ = result;
--v3;
}
while( v3 );
return result;
}