To compile with -DNDEBUG