Update ardebug.h