Constant DEBUG_EXECUTE_MENU

pub const DEBUG_EXECUTE_MENU: u32 = 512u32;