Symbol: log2_div_t