macro_rules! state_stack_has_struct_inst {
    ($e: expr) => { ... };
}