RE23/thr_debug.c has some other problems that are fixed in HEAD, but
take a bit more work to fix and test. I'll align it with HEAD if
anyone is interested.
Apparenlty not. I'll import the fixes local to thr_debug.c to RE23,
but not the ones that need changes in include/.