Specific assertion macros.