Add assert.h: macro ASSERT()