int32型って
printf 出力するとき
%d で良いのでしょうか?