Where is this function defined? I don't see it within the PR.