Una aserción quizás no es la mejor elección en este caso, ya que un error causado por codice_12 no es lógicamente imposible — es una posibilidad legítima, aunque no es muy común que suceda.