sizeof(int)*CHAR_BITが必ずしもint型のビット数と同じになるとは限らないと聞いたのですが、本当ですか？