Partial template instaciation completed by IFTI