New files with laborious types