Checked generated files