Symbol: is_pow_of_2