enabling assert(false)