pub const GIT_INDEX_ENTRY_EXTENDED: git_index_entry_flag_t = 0x4000;