assert macro.