Macro implementations for checks.