#include #include uint32_t div(uint64_t dividend, uint32_t divisor) { uint32_t result = dividend/divisor; printf("result=%u\n", result); return result; }