gray-assert