Changed comment to reflect reality: We now use 32-bit thread IDs, not 64-bit ones.
Attach a file by drag & drop or click to upload
