../../Task/Josephus-problem/XPL0