もしcodice_31を使用すると、codice_25型とcodice_33型のサイズが異なる環境において未定義動作となる。