Make Libxhcidbg a SPARK library