Surgical treatment of os odontoideum