I wrote:
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/.