added support for multiple uses of the same value number