Files in the top-level directory of check-in dbc7d3a7356d9249