Filling in some of assert.h