A prospective, double-blind, randomized controlled trial of treatment of atlantoaxial instability with C1 posterior arches >4 mm by comparing C1 pedicle with lateral mass screws fixation. Issue 1 (December 2016)