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