INT64 __stdcall vsprintf_s(INT8 *Dst, UINT64 SizeInBytes, INT8 *Format, INT8 *ArgList){
INT64 result;
if( !Dst || !SizeInBytes || !Format )
goto LABEL_6;
result = soutput_s(Dst, SizeInBytes, Format, (int *)ArgList);
if( (int)result >= 0 )
return result;
*Dst = 0;
if( (_DWORD)result == -2 )
LABEL_6:
xHalTimerWatchdogStop(0i64, 0i64);
return 0xFFFFFFFFi64;
}