src/internal/coverage/cformat