more debugging for IDF