Is this defined somewhere outside this PR? I don't see it here.