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