see Extradural anterior clinoidectomy