pub const DEBUG_EXECUTE_MENU: u32 = 512u32;