[pawadu]

> This is of course not a new invention

No, this is a well known construct in digital design. Basically, for a 2^N deep queue you only need two N+1 bit variables:

http://www.sunburst-design.com/papers/CummingsSNUG2002SJ_FIF...