specify the -DNDEBUG option for performance