uint64_t __uint64_mod(uint64_t dividend, uint64_t divisor);
__uint64_mod divides dividend by divisor and returns the unsigned remainder after division as the result.