Macro type_err 

macro_rules! type_err {
    ($stack:expr, $a:expr, $b:expr) => { ... };
}