pub fn stack_struct_borrow_field_inst(
    state: &AbstractState,
    field_index: FieldInstantiationIndex
) -> Result<AbstractState, VMError>