Cleaned up and flushed out the dumppcm method, which is now called
debug.