macros DX_VERIFY introduced