so let's say k is 140 and n is 256.

r = 0, s = 1 after (1).
x = 139, r = 139 and s = 256 after (2)
floor(s/k)*k = 1. 139 > 1 so r = 138, s = 116 after (3) and we go back to (2)