assert() implemented as a macro