Formerly assert.c.~3~