そのためcodice_2関数の返値の型は、より広い範囲の値を扱えるcodice_6型になっており、入力データをcodice_7型の範囲の値として扱い、codice_7型としては出現しない値を番兵eofとして使用している(-1を使う処理系が多い)。