Fixed string size undo

src/pins25/phase/Memory.java

@@ -278,7 +278,7 @@ public class Memory {
                             Vector<Integer> str = decodeStrConst(init.value, valLoc);
                             inits.add(str.size());
                             inits.addAll(str);
-                            size += 4 * num;
+                            size += 4 * str.size() * num;
                             break;
                     }
                 }