update Josephus.c