Even more debugging output