add #include <assert.h>