Testing files for ABI checking