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