pub type No = u32;