_PROP_ASSERT
#define _PROP_ASSERT(x) KKASSERT(x)
#define _PROP_ASSERT(x) /* nothing */
#define _PROP_ASSERT(x) /*LINTED*/assert(x)