added  -DNDEBUG