xmltoifc