Update et_dbg.h