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