-val* var30 /* : Message */;
-val* var31 /* : Set[Variable] */;
-val* var33 /* : Set[Variable] */;
+char* var30 /* : CString */;
+val* var31 /* : String */;
+val* var32 /* : nullable Int */;
+val* var33 /* : nullable Int */;
+val* var34 /* : nullable Bool */;
+val* var35 /* : nullable Bool */;
+val* var36 /* : String */;
+val* var37 /* : String */;
+val* var38 /* : Message */;
+val* var39 /* : Set[Variable] */;
+val* var41 /* : Set[Variable] */;