Files in the top-level directory of check-in 7c12f8bee2d70b0b