In the question number mentioned above, I had a doubt that what will happen if *px = INT_MIN and *py = INT_MAX.
Because if we do *px = *px – *py, then ideally *px will become less than INT_MIN which will not be possible to store in int data type, and hence may give unexpected results, so according to me S4 should also be correct