This is basically a copy of TestReadWriteSetLength, but with the new Read API. With this test case, we can make sure the two Read's have the same behavior.
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected