For a nondisplaced posterior arch fracture of first cervical vertebra, coders should report ICD-10-CM S12.031 with a seventh character to indicate encounter. For a displaced lateral mass fracture of first cervical vertebra, coders would assign S12.040, again with the appropriate seventh character.