#include <cruntime.h>
int32_t __int32_div(int32_t dividend, int32_t divisor);
__int32_div divides dividend by divisor and returns the signed quotient, truncated towards zero, as the result.
__int32_div is a provided on all implementations of CrossWorks.