ASSERT-* should be macros so that they show better error output.