DEBUG_EXECUTE_MENU

Constant DEBUG_EXECUTE_MENU 

pub const DEBUG_EXECUTE_MENU: u32 = 512u32;