Some test files for progtest and other things