Symbol: log2_mul_t