use <lib_internal/coreassert.h>