8桁で、上は0で埋めるんだよね
%08x でいいんじゃね?
でも足し算の実装見ると最上位ビットはキャリーフラグ用になってる?