fixup! Implemented writeTM() and dbg_cmd "export".