thread/syncprims-pub-impl.h: Fix bug #298. -- int to pointer cast error on
Xcode 5.1