change '#ifndef NDEBUG' into '#ifdef WITH_VERBOSE'