ASSERT { stuff to check, things to warn about }