pub type WidthInt = u32;
This type restricts the maximum width that a bit-vector type is allowed to have.