- prototype in assert.h - if test fails, prints error message & aborts program - test can be a condition