Constant num_extern_def_ids 

pub const num_extern_def_ids: &str = "num_extern_def_ids";