Enforcing invariant that we always call read, increasing code coverage