Symbol: trunc_powerof2