Isolated hypertrophy of the posterior arch of the atlas causing cervical canal stenosis: A case report and literature review | Synapse