Edit File: debug-cmd.h