see Transoral odontoidectomy.