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