pub type TotNoStrikes = i64;