Update DebugIO.h