Macro halt

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