0.7.5.16, but all of src/runtime/*.[ch] has been eyeballed and
weird indenting fixed up in favour of a uniform 4 charcters
everywhere. We give this change its version number to make
it easier to diff previous and subsequent changes without
white(space) noise adding to the confusion.
;;; for internal versions, especially for internal versions off the
;;; main CVS branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.7.5.16"
+"0.7.5.17"