- /// This have to be at least 32 bits, but 64 or more does not hurt
- typedef unsigned int ui32;
-
- /** Representation: bit table
- Layout of bit table:
- 11 1111 111 122 222 222 2233
- Bit 012 34 567 8901 2345 678 901 234 567 8901
- FFF SS SSS SSSS CCCC EEE UUU NNN LLL
- aaa ee hhh iiii oooo mmm nnn ooo aaa
- mmm rr aaa zzzz llll ppp ddd uuu ttt
-
- Some might think this is a dirty representation, but it gives
- us at least 25% speed-up, so why not?
- */
- ui32 bits;
-