pub type NotchNumber = u32;