Macro lifted_pop 

macro_rules! lifted_pop {
    ($vm:ident ($($bind:ident),+) => $body:expr) => { ... };
}