Added verify macros