Constant DEBUG_EXECUTE_INTERNAL

pub const DEBUG_EXECUTE_INTERNAL: u32 = 64u32;