More and better debug printf in XID