Allow zero value for addr.
Return normalized state for HASequence.