assert(0) is not abort()