USE: infix
ALIAS: def INFIX::

def josephus2 ( n -- m )
    2*(n-2**log2(n)) ;