Files in the top-level directory of check-in 0c5d4cee59d3c758