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