some more CHECK macros