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