a milder kind of military punishment, in cases of defection, mutiny, and the like, when only every hundredth man is executed.