pub trait DynamicModIntId: 'static + Copy + Eq { // Required method fn barrett() -> &'static Barrett; }