Macro halt2

macro_rules! halt2 {
    ($span: expr) => { ... };
    ($span: expr, $($x:tt)*) => { ... };
}