pub const GIT_DIFF_IGNORE_CASE: git_diff_option_t = _; // 1_024i32