Right you are: this code was lifted from coverage.py, which uses this value in its test suite.