1 #![warn(clippy::use_self)] 2 3 #[path = "auxiliary/ice-4727-aux.rs"] 4 mod aux; 5 main()6 fn main() {} 7