Compiling WriCoRe Dual-Engine Interface...