Macro push_index_if_explain 

macro_rules! push_index_if_explain {
    ($this:ident) => { ... };
}