__int64 __fastcall MiInitializeFaultVaListCore(__int64 a1, __int64 a2, __int64 a3, char a4){
__int64 result;
result = 0i64;
*(_BYTE *)a1 = a4;
*(_BYTE *)(a1 + 1) = 0;
*(_QWORD *)(a1 + 24) = 0i64;
*(_QWORD *)(a1 + 32) = 0i64;
*(_QWORD *)(a1 + 8) = a2;
*(_QWORD *)(a1 + 16) = a3;
return result;
}