1. #include <stdint.h>
2. #include <stdio.h>
3.  
4. uint32_t div(uint64_t dividend, uint32_t divisor) {
5.   uint32_t result = dividend/divisor;
6.  
7.   printf("result=%u\n", result);
8.  
9.   return result;
10. }
11.