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