rework slightly our trick to use a pointer as a counter in fsqueue