src/internal/coverage/slicereader