src/internal/coverage/slicewriter