first post of josephus_problem