Constant DEBUG_EXECUTE_SCRIPT

pub const DEBUG_EXECUTE_SCRIPT: u32 = 128u32;