そこで実際には特定ビット位置をオンにしたビットマスクにcodice_42、codice_43、codice_44、codice_45と名前を付け、codice_41を次のように宣言している。