Macro revm_interpreter::push

macro_rules! push {
    ($interp:expr, $($x:expr),* $(,)?) => { ... };
}