pub fn stack_unpack_struct_inst(
    state: &AbstractState,
    struct_index: StructDefInstantiationIndex
) -> Result<AbstractState, VMError>