UINT64 __stdcall DbgPrintReturnControlC(INT8 *Format){
__int64 v1;
__int64 v2;
__int64 v3;
__int64 v5;
__int64 v6;
__int64 v7;
v5 = v1;
v6 = v2;
v7 = v3;
return vDbgPrintExWithPrefixInternal((INT8 *)&File, 0x65ui64, 0i64, Format, (INT8 *)&v5, 0);
}