-var2 = "v0.7.1-31-g67c594b_dirty";
-var3 = 24;
-var4 = standard___standard__NativeString___to_s_with_length(var2, var3);
-var1 = var4;
+var2 = "v0.7.5-191-gba3a053";
+var3 = standard___standard__NativeString___to_s_with_length(var2, 19l);
+var1 = var3;