int64_t __int64_div(int64_t dividend, int64_t divisor);
__int64_div divides dividend by divisor and returns the signed quotient, truncated towards zero, as the result.