Sedgewick's Josephus problem