-long var10 /* : Int */;
-long var11 /* : Int */;
-short int var13 /* : Bool */;
-int cltype14;
-int idtype15;
-const char* var_class_name16;
-long var17 /* : Int */;
-double var18 /* : Float */;
-double var20 /* : Float */;
-double var21 /* : Float */;
-short int var23 /* : Bool */;
-int cltype24;
-int idtype25;
-const char* var_class_name26;
-double var27 /* : Float */;
-val* var28 /* : String */;
+long var14 /* : Int */;
+long var15 /* : Int */;
+short int var17 /* : Bool */;
+int cltype18;
+int idtype19;
+const char* var_class_name20;
+long var21 /* : Int */;
+double var22 /* : Float */;
+double var24 /* : Float */;
+double var25 /* : Float */;
+short int var27 /* : Bool */;
+int cltype28;
+int idtype29;
+const char* var_class_name30;
+double var31 /* : Float */;
+val* var32 /* : String */;