}
private void putArrayReadAndWrite(Value arrayValue, ValueBox source) {
hardcodeResult = makevar();
Variable array = translateExpr(arrayValue);
Variable src = translateExpr(source.getValue());
cfg.addStatement(new ArrayReadStm(hardcodeResult, array, context.getCurrentOrigin()));
cfg.addStatement(new ArrayWriteStm(array, src, context.getCurrentOrigin()));
cfg.addStatement(addStringStatement(new ArrayWriteStringStm(array, null, context.getCurrentOrigin()), source));
}