Macro assert_same_sign_or_zero 

macro_rules! assert_same_sign_or_zero {
    ( $x1:expr, $x2:expr ) => { ... };
}