pub fn stack_struct_inst_popn(
    state: &AbstractState,
    struct_inst_index: StructDefInstantiationIndex
) -> Result<AbstractState, VMError>