Main: a split case checked