Test files for main interface and compiler