benchmarking Josephus codes