added NDEBUG