pub fn def_index_as_u32(i: &DefIndex) -> u32