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