Synovial chondromatosis in a facet joint of a cervical vertebra.