Constant num_extern_def_ids

pub const num_extern_def_ids: &str = "num_extern_def_ids";