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