rework slightly our trick to use a pointer as a counter in fsqueue
Merge branch 'coverity' into portable