>> (It comment saves copyright from CriticalSection)

I don't think that is proper.  The code is the same, just some names
have changed.  I'll bet the primitives were funded by 3DICC too, so
credit where credit is due.