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