What is a .bad file?