The testing files for the main program