valid

Flow Handshake

value

Counter

valueNext

Counter