Files in the top-level directory of check-in 42c33ad550d4af00