Binary conversion of a uint32 to an int32. This is equivalent in C to typecasting an unsigned int to signed int.
int uint32ToInt32(int d) { __uint32[0] = d; return __uint32ToInt32[0]; }