Symbol: a_clz_32