Macro constant9 

macro_rules! constant9 {
    ($x:expr) => { ... };
}

The constant function with 9 arguments constant9(x) = (_, _, _, _, _, _, _, _, _) -> x.