Transoral odontoidectomy : a time-honored rescue procedure