Fixed a small issue with thread_exit_code()

The return type of this function was previously const int *, which is mistaken as the data type of the variable it returns is in fact int.

This inconsistency passes silently as ints and pointers are often interchangeable in C, however it is not good practice hence the correction.