InterlockedCompareExchange64 (volatile gint64 * dest, gint64 exch, gint64 comp)
{
  gint64 D.5359;
  gint64 old;

  pthread_mutex_lock (&spin);
  old = *dest;
  if (old == comp) goto <D.5357>; else goto <D.5358>;
  <D.5357>:
  *dest = exch;
  <D.5358>:
  pthread_mutex_unlock (&spin);
  D.5359 = old;
  return D.5359;
}