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