private void push_scaled(Arg value, int factor) {
if (value.kind == Kind.IMMEDIATE
&& value.value instanceof ESmall) {
ESmall sm = (ESmall) value.value;
mv.visitLdcInsn(new Integer(factor * sm.intValue()));
} else {
push(value, Type.INT_TYPE);
push_int(factor);
mv.visitInsn(IMUL);
}