IFC6410 for toolchain testing