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