simultaneous assignment

[Roger Miller]

Steve R. Hastings wrote:

> a = 0
> b = 0
> a is b  # always true

Is this guaranteed by the Python specification, or is it an artifact of
the current implementation? My understanding has been that an
implementation is free to share integer objects or not, so using 'is'
as an equality test takes you into undefined territory, regardless  of
the size of the value.