uint32_t __uint32_div(uint32_t dividend, uint32_t divisor);
__uint32_div divides dividend by divisor and returns the unsigned quotient, truncated towards zero, as the result.