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