pub type TotNoAllocs = i64;