Files in the top-level directory of check-in 7a0c3efa6095a7d4