added a NDEBUG test