pub type LengthBound = u32;