Symbol: is_pow2