use NDEBUG