Files in the top-level directory of check-in 77f6e5c5642e1c6a