}
}
@Override
public JVMInstruction effectStack_(final JVMStack _aJVMStack) {
final JVMType _arrayType;
final JVMType _valType;
_valType = _aJVMStack.pop();
st.gravel.support.jvm.ObjectExtensions.assert_(this, _valType.isObjectType());
st.gravel.support.jvm.ObjectExtensions.assert_(this, _aJVMStack.pop().isIntType());
_arrayType = _aJVMStack.pop();
st.gravel.support.jvm.ObjectExtensions.assert_(this, _arrayType.isArrayType());
st.gravel.support.jvm.ObjectExtensions.assert_(this, ((JVMArrayType) _arrayType).elementType().isObjectType());
return this;