int64_t __int64_mod(int64_t dividend, int64_t divisor);
__int64_mod divides dividend by divisor and returns the signed remainder after division as the result.