Symbol: div_t