check_bits: a demo to show the width of integer type