NB. this is a direct translation of the algo from C code above.
   Josephus2 =: 4 : '(| x&+)/i. - 1+y'

   3 Josephus2 41
30