Symbol: __rounddown_pow_of_two