Symbol: stdc_bit_ceil