[#] CS003 [Section] 2.7 [Statement text] 
This specification defines two kinds of persistent state with each referred to via a handle that MUST remain invariant once the Producer supplies it to the Consumer: