Update debug_main.h