DouKaku?

: REV_BITS ( n size -- m , m is reverse bits of n )
0 -ROT
BEGIN
  OVER 0 >
WHILE
  1 - OVER 1 AND
  OVER LSHIFT -ROT
  2SWAP + -ROT
  SWAP 1 RSHIFT SWAP
REPEAT
2DROP ;

: REV_BITS_LIST ( n -- , the reverse bits number list 0 to 2^n-1 )
1 OVER LSHIFT 0  DO I OVER REV_BITS . LOOP ;