added coreassert.h