-- Replicating instance of Bonawitz 3.10b

-- Dual Link Kernel

sr :: State
sr = collectStates dummyState [so, csc]
sr :: State
sr = collectStates dummyState [so, csc]
sr = collectStates dummyState [so, csc]