codice_1の結果は実装定義の符号無し整数型であるcodice_25型となり、負数になることはない。