Update test 24, 36. Add test 39. Update test results.

1 files changed, 1410 insertions, 8 deletions

diff --git a/test/test32-03.txt b/test/test32-03.txt
index 35f9002..6fd4f04 100644
--- a/test/test32-03.txt
+++ b/test/test32-03.txt
@@ -7,10 +7,38 @@ record_type :
 type_decl Data1: 
 field_decl val: 
 integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
 field_decl ptrval: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
 field_decl arr: 
 integer_cst 96: 
+array_type : 
+type_decl Data1: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_type : 
+integer_cst 64: 
+integer_cst 0: 
+integer_cst 2: 
 type_decl Data1: 
 integer_cst 64: 
 integer_cst 0: 
@@ -23,10 +51,38 @@ record_type :
 type_decl Data1: 
 field_decl val: 
 integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
 field_decl ptrval: 
 integer_cst 64: 
+pointer_type : 
 field_decl arr: 
 integer_cst 96: 
+array_type : 
+type_decl Data1: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_type : 
+integer_cst 64: 
+integer_cst 0: 
+integer_cst 2: 
 type_decl Data1: 
 integer_cst 64: 
 integer_cst 0: 
@@ -45,19 +101,108 @@ record_type :
 type_decl Object1: 
 field_decl tmp1: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl tmp2: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl tmp3: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl val1: 
 integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
 type_decl Object1: 
 integer_cst 64: 
 field_decl tmp3: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_type : 
+integer_cst 64: 
+integer_cst 0: 
+integer_cst 2: 
+type_decl Data1: 
 call_expr : 
 addr_expr : 
 function_decl getfData2: 
+return_expr : 
+init_expr : 
+result_decl : 
+pointer_type : 
+record_type : 
+integer_cst 64: 
+integer_cst 0: 
 cleanup_point_expr : 
 expr_stmt : 
 convert_expr : 
@@ -72,18 +217,105 @@ record_type :
 type_decl Object1: 
 field_decl tmp1: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl tmp2: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl tmp3: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl val1: 
 integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
 type_decl Object1: 
 integer_cst 64: 
 field_decl tmp3: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
 field_decl val: 
 integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_type : 
+integer_cst 64: 
+integer_cst 0: 
+integer_cst 2: 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
 integer_cst 100: 
 block : 
 function_decl __base_ctor : 
@@ -101,19 +333,108 @@ record_type :
 type_decl Object1: 
 field_decl tmp1: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl tmp2: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl tmp3: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl val1: 
 integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
 type_decl Object1: 
 integer_cst 64: 
 field_decl tmp3: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_type : 
+integer_cst 64: 
+integer_cst 0: 
+integer_cst 2: 
+type_decl Data1: 
 call_expr : 
 addr_expr : 
 function_decl getfData2: 
+return_expr : 
+init_expr : 
+result_decl : 
+pointer_type : 
+record_type : 
+integer_cst 64: 
+integer_cst 0: 
 cleanup_point_expr : 
 expr_stmt : 
 convert_expr : 
@@ -128,18 +449,105 @@ record_type :
 type_decl Object1: 
 field_decl tmp1: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl tmp2: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl tmp3: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl val1: 
 integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
 type_decl Object1: 
 integer_cst 64: 
 field_decl tmp3: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_type : 
+integer_cst 64: 
+integer_cst 0: 
+integer_cst 2: 
+type_decl Data1: 
 field_decl val: 
 integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
 integer_cst 100: 
 block : 
 function_decl __comp_ctor : 
@@ -153,10 +561,38 @@ record_type :
 type_decl Data1: 
 field_decl val: 
 integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
 field_decl ptrval: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
 field_decl arr: 
 integer_cst 96: 
+array_type : 
+type_decl Data1: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_type : 
+integer_cst 64: 
+integer_cst 0: 
+integer_cst 2: 
 type_decl Data1: 
 integer_cst 64: 
 component_ref : 
@@ -167,16 +603,98 @@ record_type :
 type_decl Object1: 
 field_decl tmp1: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl tmp2: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl tmp3: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl val1: 
 integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
 type_decl Object1: 
 integer_cst 64: 
 field_decl tmp1: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_type : 
+integer_cst 64: 
+integer_cst 0: 
+integer_cst 2: 
+type_decl Data1: 
 function_decl getData2: 
 return_expr : 
 init_expr : 
@@ -186,10 +704,38 @@ record_type :
 type_decl Data1: 
 field_decl val: 
 integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
 field_decl ptrval: 
 integer_cst 64: 
+pointer_type : 
 field_decl arr: 
 integer_cst 96: 
+array_type : 
+type_decl Data1: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_type : 
+integer_cst 64: 
+integer_cst 0: 
+integer_cst 2: 
 type_decl Data1: 
 integer_cst 64: 
 component_ref : 
@@ -200,16 +746,98 @@ record_type :
 type_decl Object1: 
 field_decl tmp1: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl tmp2: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl tmp3: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl val1: 
 integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
 type_decl Object1: 
 integer_cst 64: 
 field_decl tmp1: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
+integer_type : 
+integer_cst 64: 
+integer_cst 0: 
+integer_cst 2: 
+type_decl Data1: 
 function_decl getInt: 
 return_expr : 
 init_expr : 
@@ -292,14 +920,6 @@ convert_expr : ptr1,
 parm_decl ptr1: ptr1, 
 pointer_type : ptr1, 
 record_type : ptr1, 
-type_decl Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-type_decl Data1: ptr1, 
 integer_cst 64: ptr1, 
 integer_type : ptr1, 
 type_decl long int: ptr1, 
@@ -350,10 +970,38 @@ record_type : ptr1,
 type_decl Data1: ptr1, 
 field_decl val: ptr1, 
 integer_cst 32: ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
 field_decl ptrval: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
 field_decl arr: ptr1, 
 integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
+integer_type : ptr1, 
+integer_cst 64: ptr1, 
+integer_cst 0: ptr1, 
+integer_cst 2: ptr1, 
 type_decl Data1: ptr1, 
 integer_cst 64: ptr1, 
 convert_expr : ptr1, 
@@ -366,12 +1014,56 @@ record_type : ptr1,
 type_decl Object1: ptr1, 
 field_decl tmp1: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl tmp2: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl tmp3: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl val1: ptr1, 
 integer_cst 32: ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
 type_decl Object1: ptr1, 
 integer_cst 64: ptr1, 
 cleanup_point_expr : ptr1, 
@@ -416,16 +1108,65 @@ record_type :
 type_decl Object1: 
 field_decl tmp1: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl tmp2: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl tmp3: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl val1: 
 integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
 type_decl Object1: 
 integer_cst 64: 
 field_decl val1: 
 integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
 call_expr : 
 addr_expr : 
 function_decl getInt: 
@@ -435,12 +1176,56 @@ record_type :
 type_decl Object1: 
 field_decl tmp1: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl tmp2: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl tmp3: 
 integer_cst 64: 
+pointer_type : 
+record_type : 
+type_decl Data1: 
+field_decl val: 
+integer_cst 32: 
+integer_type : 
+field_decl ptrval: 
+integer_cst 64: 
+pointer_type : 
+field_decl arr: 
+integer_cst 96: 
+array_type : 
+type_decl Data1: 
 field_decl val1: 
 integer_cst 32: 
+integer_type : 
+type_decl int: 
+integer_cst 32: 
+integer_cst -2147483648: 
+integer_cst 2147483647: 
 type_decl Object1: 
 integer_cst 64: 
 cleanup_point_expr : ptr1, 
@@ -515,10 +1300,38 @@ record_type : ptr1,
 type_decl Data1: ptr1, 
 field_decl val: ptr1, 
 integer_cst 32: ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
 field_decl ptrval: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl arr: ptr1, 
 integer_cst 96: ptr1, 
+array_type : ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
+integer_type : ptr1, 
+integer_cst 64: ptr1, 
+integer_cst 0: ptr1, 
+integer_cst 2: ptr1, 
 type_decl Data1: ptr1, 
 integer_cst 64: ptr1, 
 call_expr : ptr1, 
@@ -530,12 +1343,56 @@ record_type : ptr1,
 type_decl Object1: ptr1, 
 field_decl tmp1: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl tmp2: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl tmp3: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl val1: ptr1, 
 integer_cst 32: ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
 type_decl Object1: ptr1, 
 integer_cst 64: ptr1, 
 cleanup_point_expr : ptr1, 
@@ -610,10 +1467,38 @@ record_type : ptr1,
 type_decl Data1: ptr1, 
 field_decl val: ptr1, 
 integer_cst 32: ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
 field_decl ptrval: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
 field_decl arr: ptr1, 
 integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
+integer_type : ptr1, 
+integer_cst 64: ptr1, 
+integer_cst 0: ptr1, 
+integer_cst 2: ptr1, 
 type_decl Data1: ptr1, 
 integer_cst 64: ptr1, 
 call_expr : ptr1, 
@@ -625,12 +1510,56 @@ record_type : ptr1,
 type_decl Object1: ptr1, 
 field_decl tmp1: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl tmp2: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl tmp3: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl val1: ptr1, 
 integer_cst 32: ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
 type_decl Object1: ptr1, 
 integer_cst 64: ptr1, 
 cleanup_point_expr : ptr1, 
@@ -707,16 +1636,98 @@ record_type : ptr1,
 type_decl Object1: ptr1, 
 field_decl tmp1: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl tmp2: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl tmp3: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl val1: ptr1, 
 integer_cst 32: ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
 type_decl Object1: ptr1, 
 integer_cst 64: ptr1, 
 field_decl tmp1: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
+integer_type : ptr1, 
+integer_cst 64: ptr1, 
+integer_cst 0: ptr1, 
+integer_cst 2: ptr1, 
+type_decl Data1: ptr1, 
 call_expr : ptr1, 
 addr_expr : ptr1, 
 function_decl getData1: ptr1, 
@@ -726,12 +1737,56 @@ record_type : ptr1,
 type_decl Object1: ptr1, 
 field_decl tmp1: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl tmp2: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl tmp3: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl val1: ptr1, 
 integer_cst 32: ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
 type_decl Object1: ptr1, 
 integer_cst 64: ptr1, 
 cleanup_point_expr : ptr1, this->tmp1, 
@@ -808,19 +1863,108 @@ record_type : ptr1,
 type_decl Object1: ptr1, 
 field_decl tmp1: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl tmp2: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl tmp3: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl val1: ptr1, 
 integer_cst 32: ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
 type_decl Object1: ptr1, 
 integer_cst 64: ptr1, 
 field_decl tmp1: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
+integer_type : ptr1, 
+integer_cst 64: ptr1, 
+integer_cst 0: ptr1, 
+integer_cst 2: ptr1, 
+type_decl Data1: ptr1, 
 call_expr : ptr1, 
 addr_expr : ptr1, 
 function_decl getfData1: ptr1, 
+return_expr : ptr1, 
+init_expr : ptr1, 
+result_decl : ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+integer_cst 64: ptr1, 
+integer_cst 0: ptr1, 
 cleanup_point_expr : ptr1, this->tmp1, 
 expr_stmt : ptr1, this->tmp1, 
 call_expr : ptr1, this->tmp1, 
@@ -895,19 +2039,108 @@ record_type : ptr1,
 type_decl Object1: ptr1, 
 field_decl tmp1: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl tmp2: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl tmp3: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl val1: ptr1, 
 integer_cst 32: ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
 type_decl Object1: ptr1, 
 integer_cst 64: ptr1, 
 field_decl tmp1: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
+integer_type : ptr1, 
+integer_cst 64: ptr1, 
+integer_cst 0: ptr1, 
+integer_cst 2: ptr1, 
+type_decl Data1: ptr1, 
 call_expr : ptr1, 
 addr_expr : ptr1, 
 function_decl getfData1: ptr1, 
+return_expr : ptr1, 
+init_expr : ptr1, 
+result_decl : ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+integer_cst 64: ptr1, 
+integer_cst 0: ptr1, 
 cleanup_point_expr : ptr1, this->tmp1, 
 expr_stmt : ptr1, this->tmp1, 
 call_expr : ptr1, this->tmp1, 
@@ -949,16 +2182,98 @@ record_type : ptr1, this->tmp1,
 type_decl Object1: ptr1, this->tmp1, 
 field_decl tmp1: ptr1, this->tmp1, 
 integer_cst 64: ptr1, this->tmp1, 
+pointer_type : ptr1, this->tmp1, 
+record_type : ptr1, this->tmp1, 
+type_decl Data1: ptr1, this->tmp1, 
+field_decl val: ptr1, this->tmp1, 
+integer_cst 32: ptr1, this->tmp1, 
+integer_type : ptr1, this->tmp1, 
+field_decl ptrval: ptr1, this->tmp1, 
+integer_cst 64: ptr1, this->tmp1, 
+pointer_type : ptr1, this->tmp1, 
+field_decl arr: ptr1, this->tmp1, 
+integer_cst 96: ptr1, this->tmp1, 
+array_type : ptr1, this->tmp1, 
+type_decl Data1: ptr1, this->tmp1, 
 field_decl tmp2: ptr1, this->tmp1, 
 integer_cst 64: ptr1, this->tmp1, 
+pointer_type : ptr1, this->tmp1, 
+record_type : ptr1, this->tmp1, 
+type_decl Data1: ptr1, this->tmp1, 
+field_decl val: ptr1, this->tmp1, 
+integer_cst 32: ptr1, this->tmp1, 
+integer_type : ptr1, this->tmp1, 
+field_decl ptrval: ptr1, this->tmp1, 
+integer_cst 64: ptr1, this->tmp1, 
+pointer_type : ptr1, this->tmp1, 
+field_decl arr: ptr1, this->tmp1, 
+integer_cst 96: ptr1, this->tmp1, 
+array_type : ptr1, this->tmp1, 
+type_decl Data1: ptr1, this->tmp1, 
 field_decl tmp3: ptr1, this->tmp1, 
 integer_cst 64: ptr1, this->tmp1, 
+pointer_type : ptr1, this->tmp1, 
+record_type : ptr1, this->tmp1, 
+type_decl Data1: ptr1, this->tmp1, 
+field_decl val: ptr1, this->tmp1, 
+integer_cst 32: ptr1, this->tmp1, 
+integer_type : ptr1, this->tmp1, 
+field_decl ptrval: ptr1, this->tmp1, 
+integer_cst 64: ptr1, this->tmp1, 
+pointer_type : ptr1, this->tmp1, 
+field_decl arr: ptr1, this->tmp1, 
+integer_cst 96: ptr1, this->tmp1, 
+array_type : ptr1, this->tmp1, 
+type_decl Data1: ptr1, this->tmp1, 
 field_decl val1: ptr1, this->tmp1, 
 integer_cst 32: ptr1, this->tmp1, 
+integer_type : ptr1, this->tmp1, 
+type_decl int: ptr1, this->tmp1, 
+integer_cst 32: ptr1, this->tmp1, 
+integer_cst -2147483648: ptr1, this->tmp1, 
+integer_cst 2147483647: ptr1, this->tmp1, 
 type_decl Object1: ptr1, this->tmp1, 
 integer_cst 64: ptr1, this->tmp1, 
 field_decl tmp1: ptr1, this->tmp1, 
 integer_cst 64: ptr1, this->tmp1, 
+pointer_type : ptr1, this->tmp1, 
+record_type : ptr1, this->tmp1, 
+type_decl Data1: ptr1, this->tmp1, 
+field_decl val: ptr1, this->tmp1, 
+integer_cst 32: ptr1, this->tmp1, 
+integer_type : ptr1, this->tmp1, 
+type_decl int: ptr1, this->tmp1, 
+integer_cst 32: ptr1, this->tmp1, 
+integer_cst -2147483648: ptr1, this->tmp1, 
+integer_cst 2147483647: ptr1, this->tmp1, 
+field_decl ptrval: ptr1, this->tmp1, 
+integer_cst 64: ptr1, this->tmp1, 
+pointer_type : ptr1, this->tmp1, 
+record_type : ptr1, this->tmp1, 
+type_decl Data1: ptr1, this->tmp1, 
+field_decl val: ptr1, this->tmp1, 
+integer_cst 32: ptr1, this->tmp1, 
+integer_type : ptr1, this->tmp1, 
+field_decl ptrval: ptr1, this->tmp1, 
+integer_cst 64: ptr1, this->tmp1, 
+pointer_type : ptr1, this->tmp1, 
+field_decl arr: ptr1, this->tmp1, 
+integer_cst 96: ptr1, this->tmp1, 
+array_type : ptr1, this->tmp1, 
+type_decl Data1: ptr1, this->tmp1, 
+field_decl arr: ptr1, this->tmp1, 
+integer_cst 96: ptr1, this->tmp1, 
+array_type : ptr1, this->tmp1, 
+integer_type : ptr1, this->tmp1, 
+type_decl int: ptr1, this->tmp1, 
+integer_cst 32: ptr1, this->tmp1, 
+integer_cst -2147483648: ptr1, this->tmp1, 
+integer_cst 2147483647: ptr1, this->tmp1, 
+integer_type : ptr1, this->tmp1, 
+integer_cst 64: ptr1, this->tmp1, 
+integer_cst 0: ptr1, this->tmp1, 
+integer_cst 2: ptr1, this->tmp1, 
+type_decl Data1: ptr1, this->tmp1, 
 integer_cst 0: ptr1, this->tmp1, 
 eq_expr : ptr1, 
 component_ref : ptr1, 
@@ -971,18 +2286,105 @@ record_type : ptr1,
 type_decl Object1: ptr1, 
 field_decl tmp1: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl tmp2: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl tmp3: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
 field_decl val1: ptr1, 
 integer_cst 32: ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
 type_decl Object1: ptr1, 
 integer_cst 64: ptr1, 
 field_decl tmp1: ptr1, 
 integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+record_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl val: ptr1, 
+integer_cst 32: ptr1, 
+integer_type : ptr1, 
+field_decl ptrval: ptr1, 
+integer_cst 64: ptr1, 
+pointer_type : ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+type_decl Data1: ptr1, 
+field_decl arr: ptr1, 
+integer_cst 96: ptr1, 
+array_type : ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
+integer_type : ptr1, 
+integer_cst 64: ptr1, 
+integer_cst 0: ptr1, 
+integer_cst 2: ptr1, 
+type_decl Data1: ptr1, 
 field_decl val: ptr1, 
 integer_cst 32: ptr1, 
+integer_type : ptr1, 
+type_decl int: ptr1, 
+integer_cst 32: ptr1, 
+integer_cst -2147483648: ptr1, 
+integer_cst 2147483647: ptr1, 
 integer_cst 10: ptr1, 
 statement_list : ptr1, this->tmp1, 
 cleanup_point_expr : ptr1, this->tmp1,