USE: infix

INFIX:: josephus2 ( n -- m )
    2*(n-2**log2(n)) ;