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