Cervical spondylosis treated by bilateral facetectomy and laminectomy.