| #include <intrin.h> | 
 |  | 
 | #ifdef _WIN64 | 
 | __int64 _InterlockedDecrement64(__int64 volatile *Addend) | 
 | { | 
 |   __int64 ret = -1LL; | 
 |   __asm__ __volatile__ ("lock\n\t" | 
 | 	       "xaddq %0,%1" | 
 | 	       : "+r" (ret), "+m" (*Addend) | 
 | 	       : : "memory"); | 
 |   return ret - 1LL; | 
 | } | 
 | #else | 
 | __int64 __stdcall InterlockedCompareExchange64(__int64 volatile *Destination, | 
 |   __int64 Exchange, __int64 Comperand); | 
 | __int64 _InterlockedDecrement64(__int64 volatile *Addend); | 
 | __int64 _InterlockedDecrement64(__int64 volatile *Addend) | 
 | { | 
 |   __int64 Old; | 
 |   do { | 
 |     Old = *Addend; | 
 |   } while(InterlockedCompareExchange64(Addend,Old - 1,Old)!=Old); | 
 |   return Old - 1; | 
 | } | 
 | #endif | 
 |  | 
 | #ifdef _WIN64 | 
 | __int64 InterlockedDecrement64(__int64 volatile *) __attribute__((alias("_InterlockedDecrement64"))); | 
 | #else | 
 | __int64 __stdcall InterlockedDecrement64(__int64 volatile *Addend); | 
 | __int64 __stdcall InterlockedDecrement64(__int64 volatile *Addend) | 
 | { | 
 |   return _InterlockedDecrement64(Addend); | 
 | } | 
 | #endif | 
 |  |