/**
* Generates a PlugStm for a multi-plug operation.
*/
private void putPlugList(Value base, Value gap, ValueBox source) {
hardcodeResult = makevar();
cfg.addStatement(new PlugStm(PlugStm.Kind.PLUGMULTI,
hardcodeResult,
translateExpr(base),
context.getConstantString(gap),
Automaton.makeEmpty(), // <-- string source is set in ArrayTransformer, not as a hotspot
translateExpr(source.getValue()),