Update ump_debug.h