Oh. I see they are used in the `git_diff_patch` definition.