This is not exposed in a header file. We do not need it here.