Symbol: s_mp_ispow2