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

1 files changed, 1322 insertions, 0 deletions

diff --git a/test/test37-03.txt b/test/test37-03.txt
index be2ebc6..8361cb5 100644
--- a/test/test37-03.txt
+++ b/test/test37-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: 
 component_ref : 
@@ -21,14 +49,80 @@ 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: 
+field_decl ptrval: 
+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 getData1: 
 return_expr : 
 init_expr : 
@@ -38,10 +132,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 : 
@@ -52,12 +174,76 @@ 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: 
 type_decl Object1: 
 integer_cst 64: 
 field_decl tmp2: 
 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 : 
@@ -67,10 +253,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 : 
@@ -81,12 +295,76 @@ 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: 
 type_decl Object1: 
 integer_cst 64: 
 field_decl tmp2: 
 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 func1: 
 statement_list : ptr1, 
 cleanup_point_expr : ptr1, 
@@ -152,10 +430,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, 
 integer_cst 0: ptr1, 
@@ -225,10 +531,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, 
@@ -354,22 +688,114 @@ 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, 
 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, 
 parm_decl ptr1: 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 64: ptr1, this->tmp1, 
 cleanup_point_expr : ptr1, this->tmp1, 
@@ -435,10 +861,38 @@ 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 64: ptr1, this->tmp1, 
 integer_cst 0: ptr1, this->tmp1, 
@@ -508,10 +962,38 @@ 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 64: ptr1, this->tmp1, 
 call_expr : ptr1, this->tmp1, 
@@ -637,22 +1119,114 @@ 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, 
 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, 
 parm_decl ptr1: 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 64: ptr1, this->tmp1, 
 cleanup_point_expr : ptr1, this->tmp1, 
@@ -718,10 +1292,38 @@ 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 64: ptr1, this->tmp1, 
 integer_cst 0: ptr1, this->tmp1, 
@@ -793,12 +1395,76 @@ 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, 
 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, 
 call_expr : ptr1, this->tmp1, 
 addr_expr : ptr1, this->tmp1, 
 function_decl operator new: ptr1, this->tmp1, 
@@ -979,10 +1645,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, 
 integer_cst 0: ptr1, 
@@ -995,12 +1689,76 @@ 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, 
 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, 
 integer_cst 0: ptr1, 
 statement_list : ptr1, 
 cleanup_point_expr : ptr1, 
@@ -1068,10 +1826,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, 
@@ -1249,10 +2035,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, 
 integer_cst 0: ptr1, 
@@ -1265,12 +2079,76 @@ 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: 
 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: 
 integer_cst 0: 
 statement_list : ptr1, 
 cleanup_point_expr : ptr1, 
@@ -1338,10 +2216,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, 
@@ -1518,10 +2424,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, 
 integer_cst 0: ptr1, 
@@ -1591,10 +2525,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, 
@@ -1658,10 +2620,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: 
@@ -1785,10 +2775,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, 
 integer_cst 0: ptr1, 
@@ -1914,10 +2932,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, 
@@ -2162,10 +3208,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, 
@@ -2410,10 +3484,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, 
@@ -2536,10 +3638,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, 
@@ -2779,10 +3909,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, 
@@ -2794,8 +3952,34 @@ 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, 
 type_decl Object1: ptr1, 
 integer_cst 64: ptr1, 
 cleanup_point_expr : ptr1, 
@@ -2919,10 +4103,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, 
@@ -2934,8 +4146,34 @@ 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, 
 type_decl Object1: ptr1, 
 integer_cst 64: ptr1, 
 cleanup_point_expr : ptr1, 
@@ -3115,10 +4353,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, 
 integer_cst 0: ptr1, 
@@ -3310,10 +4576,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, 
 integer_cst 0: ptr1, 
@@ -3438,10 +4732,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, 
 integer_cst 0: ptr1,