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