warning with -DNDEBUG