A file for use with the teclipsing test suite