Files in the top-level directory of check-in 128174d357c8532e