New files for the checker