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