Pintos

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.