josephus init