a kind of military punishment, wherein the criminal is hoisted up by a rope, and let down, so that, by the weight of his body in the fall, his arms are dislocated.