Update test results.

1 files changed, 1473 insertions, 1473 deletions

diff --git a/test/test20-01.txt b/test/test20-01.txt
index dd81897..00559cd 100644
--- a/test/test20-01.txt
+++ b/test/test20-01.txt
@@ -1,1985 +1,1985 @@
-function_decl func1 test20.c 8:5
+function_decl func1 test20.c 8:5 2147483647
 - isPublic: 1
- function_type - function type
-  integer_type - function return type
+ function_type 2147483646 - function type
+  integer_type 2147483645 - function return type
   - precisionBits: 32
   - signed
-   type_decl int - type name
-   integer_cst 32 - type size
-   integer_cst -2147483648 - min value
-   integer_cst 2147483647 - max value
-  tree_list - arg types
-   pointer_type - value
-    record_type - nested type
-     identifier_node Data1 - type name
-     field_decl val test20.c 3:9 - field
+   type_decl int 2147483644 - type name
+   integer_cst 32 2147483644 - type size
+   integer_cst -2147483648 2147483644 - min value
+   integer_cst 2147483647 2147483644 - max value
+  tree_list 2147483645 - arg types
+   pointer_type 2147483644 - value
+    record_type 3 - nested type
+     identifier_node Data1 2 - type name
+     field_decl val test20.c 3:9 2 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 1 - decl size
+      integer_type 1 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-   tree_list - chain
-    pointer_type - value
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+       type_decl int 0 - type name
+       integer_cst 32 0 - type size
+       integer_cst -2147483648 0 - min value
+       integer_cst 2147483647 0 - max value
+   tree_list 2147483644 - chain
+    pointer_type 2147483643 - value
+     record_type 3 - nested type
+      identifier_node Data1 2 - type name
+      field_decl val test20.c 3:9 2 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 1 - decl size
+       integer_type 1 - field type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-    tree_list - chain
-     void_type - value
-      type_decl void - type name
- result_decl test20.c 8:5 - function result
+        type_decl int 0 - type name
+        integer_cst 32 0 - type size
+        integer_cst -2147483648 0 - min value
+        integer_cst 2147483647 0 - max value
+    tree_list 2147483643 - chain
+     void_type 2147483642 - value
+      type_decl void 2147483641 - type name
+ result_decl test20.c 8:5 2147483646 - function result
  - isAutogenerated: 1
-  integer_type - result type
+  integer_type 2147483645 - result type
   - precisionBits: 32
   - signed
-   type_decl int - type name
-   integer_cst 32 - type size
-   integer_cst -2147483648 - min value
-   integer_cst 2147483647 - max value
-  integer_cst 32 - decl size
+   type_decl int 2147483644 - type name
+   integer_cst 32 2147483644 - type size
+   integer_cst -2147483648 2147483644 - min value
+   integer_cst 2147483647 2147483644 - max value
+  integer_cst 32 2147483645 - decl size
  - isUsed: 1
- parm_decl ptr1 test20.c 8:25 - argument
-  pointer_type - decl type
-   record_type - nested type
-    identifier_node Data1 - type name
-    field_decl val test20.c 3:9 - field
+ parm_decl ptr1 test20.c 8:25 2147483646 - argument
+  pointer_type 2147483645 - decl type
+   record_type 3 - nested type
+    identifier_node Data1 2 - type name
+    field_decl val test20.c 3:9 2 - field
     - signed
-     integer_cst 32 - decl size
-     integer_type - field type
+     integer_cst 32 1 - decl size
+     integer_type 1 - field type
      - precisionBits: 32
      - signed
-      type_decl int - type name
-      integer_cst 32 - type size
-      integer_cst -2147483648 - min value
-      integer_cst 2147483647 - max value
-  integer_cst 64 - parm size
- parm_decl ptr2 test20.c 8:45 - argument
-  pointer_type - decl type
-   record_type - nested type
-    identifier_node Data1 - type name
-    field_decl val test20.c 3:9 - field
+      type_decl int 0 - type name
+      integer_cst 32 0 - type size
+      integer_cst -2147483648 0 - min value
+      integer_cst 2147483647 0 - max value
+  integer_cst 64 2147483645 - parm size
+ parm_decl ptr2 test20.c 8:45 2147483646 - argument
+  pointer_type 2147483645 - decl type
+   record_type 3 - nested type
+    identifier_node Data1 2 - type name
+    field_decl val test20.c 3:9 2 - field
     - signed
-     integer_cst 32 - decl size
-     integer_type - field type
+     integer_cst 32 1 - decl size
+     integer_type 1 - field type
      - precisionBits: 32
      - signed
-      type_decl int - type name
-      integer_cst 32 - type size
-      integer_cst -2147483648 - min value
-      integer_cst 2147483647 - max value
-  integer_cst 64 - parm size
- bind_expr test20.c 9:1 - code
-  var_decl ptr3 test20.c 10:19 - operand
-   integer_cst 64 - decl size
+      type_decl int 0 - type name
+      integer_cst 32 0 - type size
+      integer_cst -2147483648 0 - min value
+      integer_cst 2147483647 0 - max value
+  integer_cst 64 2147483645 - parm size
+ bind_expr test20.c 9:1 2147483646 - code
+  var_decl ptr3 test20.c 10:19 2147483645 - operand
+   integer_cst 64 2147483644 - decl size
    - isUsed: 1
-   parm_decl ptr1 test20.c 8:25 - initial
-    pointer_type - decl type
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+   parm_decl ptr1 test20.c 8:25 5 - initial
+    pointer_type 4 - decl type
+     record_type 3 - nested type
+      identifier_node Data1 2 - type name
+      field_decl val test20.c 3:9 2 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 1 - decl size
+       integer_type 1 - field type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-    integer_cst 64 - parm size
-   pointer_type - var type
-    record_type - nested type
-     identifier_node Data1 - type name
-     field_decl val test20.c 3:9 - field
+        type_decl int 0 - type name
+        integer_cst 32 0 - type size
+        integer_cst -2147483648 0 - min value
+        integer_cst 2147483647 0 - max value
+    integer_cst 64 4 - parm size
+   pointer_type 2147483644 - var type
+    record_type 3 - nested type
+     identifier_node Data1 2 - type name
+     field_decl val test20.c 3:9 2 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 1 - decl size
+      integer_type 1 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-  decl_expr test20.c 10:19 - operand
-   var_decl ptr3 test20.c 10:19 - operand
-    integer_cst 64 - decl size 2
+       type_decl int 0 - type name
+       integer_cst 32 0 - type size
+       integer_cst -2147483648 0 - min value
+       integer_cst 2147483647 0 - max value
+  decl_expr test20.c 10:19 2147483645 - operand
+   var_decl ptr3 test20.c 10:19 2147483644 - operand
+    integer_cst 64 3 - decl size 2
     - isUsed: 1
-    parm_decl ptr1 test20.c 8:25 - initial 2
-     pointer_type - decl type
-      record_type - nested type
-       identifier_node Data1 - type name
-       field_decl val test20.c 3:9 - field
+    parm_decl ptr1 test20.c 8:25 3 - initial 2
+     pointer_type 2 - decl type
+      record_type 1 - nested type
+       identifier_node Data1 0 - type name
+       field_decl val test20.c 3:9 0 - field
        - signed
-        integer_cst 32 - decl size
-        integer_type - field type
+        integer_cst 32 0 - decl size
+        integer_type 0 - field type
         - precisionBits: 32
         - signed
-     integer_cst 64 - parm size
-    pointer_type - var type 2
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+     integer_cst 64 2 - parm size
+    pointer_type 3 - var type 2
+     record_type 2 - nested type
+      identifier_node Data1 1 - type name
+      field_decl val test20.c 3:9 1 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 0 - decl size
+       integer_type 0 - field type
        - precisionBits: 32
        - signed
-  block - operand
-   var_decl ptr3 test20.c 10:19 - block vars
-    integer_cst 64 - decl size 2
+  block 2147483645 - operand
+   var_decl ptr3 test20.c 10:19 2147483644 - block vars
+    integer_cst 64 3 - decl size 2
     - isUsed: 1
-    parm_decl ptr1 test20.c 8:25 - initial 2
-     pointer_type - decl type
-      record_type - nested type
-       identifier_node Data1 - type name
-       field_decl val test20.c 3:9 - field
+    parm_decl ptr1 test20.c 8:25 3 - initial 2
+     pointer_type 2 - decl type
+      record_type 1 - nested type
+       identifier_node Data1 0 - type name
+       field_decl val test20.c 3:9 0 - field
        - signed
-        integer_cst 32 - decl size
-        integer_type - field type
+        integer_cst 32 0 - decl size
+        integer_type 0 - field type
         - precisionBits: 32
         - signed
-     integer_cst 64 - parm size
-    pointer_type - var type 2
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+     integer_cst 64 2 - parm size
+    pointer_type 3 - var type 2
+     record_type 2 - nested type
+      identifier_node Data1 1 - type name
+      field_decl val test20.c 3:9 1 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 0 - decl size
+       integer_type 0 - field type
        - precisionBits: 32
        - signed
-function_decl func2 test20.c 13:5
+function_decl func2 test20.c 13:5 2147483647
 - isPublic: 1
- function_type - function type
-  integer_type - function return type
+ function_type 2147483646 - function type
+  integer_type 2147483645 - function return type
   - precisionBits: 32
   - signed
-   type_decl int - type name
-   integer_cst 32 - type size
-   integer_cst -2147483648 - min value
-   integer_cst 2147483647 - max value
-  tree_list - arg types
-   pointer_type - value
-    record_type - nested type
-     identifier_node Data1 - type name
-     field_decl val test20.c 3:9 - field
+   type_decl int 2147483644 - type name
+   integer_cst 32 2147483644 - type size
+   integer_cst -2147483648 2147483644 - min value
+   integer_cst 2147483647 2147483644 - max value
+  tree_list 2147483645 - arg types
+   pointer_type 2147483644 - value
+    record_type 3 - nested type
+     identifier_node Data1 2 - type name
+     field_decl val test20.c 3:9 2 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 1 - decl size
+      integer_type 1 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-   tree_list - chain
-    pointer_type - value
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+       type_decl int 0 - type name
+       integer_cst 32 0 - type size
+       integer_cst -2147483648 0 - min value
+       integer_cst 2147483647 0 - max value
+   tree_list 2147483644 - chain
+    pointer_type 2147483643 - value
+     record_type 3 - nested type
+      identifier_node Data1 2 - type name
+      field_decl val test20.c 3:9 2 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 1 - decl size
+       integer_type 1 - field type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-    tree_list - chain
-     void_type - value
-      type_decl void - type name
- result_decl test20.c 13:5 - function result
+        type_decl int 0 - type name
+        integer_cst 32 0 - type size
+        integer_cst -2147483648 0 - min value
+        integer_cst 2147483647 0 - max value
+    tree_list 2147483643 - chain
+     void_type 2147483642 - value
+      type_decl void 2147483641 - type name
+ result_decl test20.c 13:5 2147483646 - function result
  - isAutogenerated: 1
-  integer_type - result type
+  integer_type 2147483645 - result type
   - precisionBits: 32
   - signed
-   type_decl int - type name
-   integer_cst 32 - type size
-   integer_cst -2147483648 - min value
-   integer_cst 2147483647 - max value
-  integer_cst 32 - decl size
+   type_decl int 2147483644 - type name
+   integer_cst 32 2147483644 - type size
+   integer_cst -2147483648 2147483644 - min value
+   integer_cst 2147483647 2147483644 - max value
+  integer_cst 32 2147483645 - decl size
  - isUsed: 1
- parm_decl ptr1 test20.c 13:25 - argument
-  pointer_type - decl type
-   record_type - nested type
-    identifier_node Data1 - type name
-    field_decl val test20.c 3:9 - field
+ parm_decl ptr1 test20.c 13:25 2147483646 - argument
+  pointer_type 2147483645 - decl type
+   record_type 3 - nested type
+    identifier_node Data1 2 - type name
+    field_decl val test20.c 3:9 2 - field
     - signed
-     integer_cst 32 - decl size
-     integer_type - field type
+     integer_cst 32 1 - decl size
+     integer_type 1 - field type
      - precisionBits: 32
      - signed
-      type_decl int - type name
-      integer_cst 32 - type size
-      integer_cst -2147483648 - min value
-      integer_cst 2147483647 - max value
-  integer_cst 64 - parm size
- parm_decl ptr2 test20.c 13:45 - argument
-  pointer_type - decl type
-   record_type - nested type
-    identifier_node Data1 - type name
-    field_decl val test20.c 3:9 - field
+      type_decl int 0 - type name
+      integer_cst 32 0 - type size
+      integer_cst -2147483648 0 - min value
+      integer_cst 2147483647 0 - max value
+  integer_cst 64 2147483645 - parm size
+ parm_decl ptr2 test20.c 13:45 2147483646 - argument
+  pointer_type 2147483645 - decl type
+   record_type 3 - nested type
+    identifier_node Data1 2 - type name
+    field_decl val test20.c 3:9 2 - field
     - signed
-     integer_cst 32 - decl size
-     integer_type - field type
+     integer_cst 32 1 - decl size
+     integer_type 1 - field type
      - precisionBits: 32
      - signed
-      type_decl int - type name
-      integer_cst 32 - type size
-      integer_cst -2147483648 - min value
-      integer_cst 2147483647 - max value
-  integer_cst 64 - parm size
- bind_expr test20.c 14:1 - code
-  var_decl ptr3 test20.c 15:19 - operand
+      type_decl int 0 - type name
+      integer_cst 32 0 - type size
+      integer_cst -2147483648 0 - min value
+      integer_cst 2147483647 0 - max value
+  integer_cst 64 2147483645 - parm size
+ bind_expr test20.c 14:1 2147483646 - code
+  var_decl ptr3 test20.c 15:19 2147483645 - operand
   - isUsed: 1
-   integer_cst 64 - decl size
+   integer_cst 64 2147483644 - decl size
    - isUsed: 1
-   parm_decl ptr1 test20.c 13:25 - initial
-    pointer_type - decl type
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+   parm_decl ptr1 test20.c 13:25 5 - initial
+    pointer_type 4 - decl type
+     record_type 3 - nested type
+      identifier_node Data1 2 - type name
+      field_decl val test20.c 3:9 2 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 1 - decl size
+       integer_type 1 - field type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-    integer_cst 64 - parm size
-   pointer_type - var type
-    record_type - nested type
-     identifier_node Data1 - type name
-     field_decl val test20.c 3:9 - field
+        type_decl int 0 - type name
+        integer_cst 32 0 - type size
+        integer_cst -2147483648 0 - min value
+        integer_cst 2147483647 0 - max value
+    integer_cst 64 4 - parm size
+   pointer_type 2147483644 - var type
+    record_type 3 - nested type
+     identifier_node Data1 2 - type name
+     field_decl val test20.c 3:9 2 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 1 - decl size
+      integer_type 1 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-  statement_list - operand
-   decl_expr test20.c 15:19 - statement
-    var_decl ptr3 test20.c 15:19 - operand
+       type_decl int 0 - type name
+       integer_cst 32 0 - type size
+       integer_cst -2147483648 0 - min value
+       integer_cst 2147483647 0 - max value
+  statement_list 2147483645 - operand
+   decl_expr test20.c 15:19 2147483644 - statement
+    var_decl ptr3 test20.c 15:19 2147483643 - operand
     - isUsed: 1
-     integer_cst 64 - decl size 2
+     integer_cst 64 3 - decl size 2
      - isUsed: 1
-     parm_decl ptr1 test20.c 13:25 - initial 2
-      pointer_type - decl type
-       record_type - nested type
-        identifier_node Data1 - type name
-        field_decl val test20.c 3:9 - field
+     parm_decl ptr1 test20.c 13:25 3 - initial 2
+      pointer_type 2 - decl type
+       record_type 1 - nested type
+        identifier_node Data1 0 - type name
+        field_decl val test20.c 3:9 0 - field
         - signed
-         integer_cst 32 - decl size
-         integer_type - field type
+         integer_cst 32 0 - decl size
+         integer_type 0 - field type
          - precisionBits: 32
          - signed
-      integer_cst 64 - parm size
-     pointer_type - var type 2
-      record_type - nested type
-       identifier_node Data1 - type name
-       field_decl val test20.c 3:9 - field
+      integer_cst 64 2 - parm size
+     pointer_type 3 - var type 2
+      record_type 2 - nested type
+       identifier_node Data1 1 - type name
+       field_decl val test20.c 3:9 1 - field
        - signed
-        integer_cst 32 - decl size
-        integer_type - field type
+        integer_cst 32 0 - decl size
+        integer_type 0 - field type
         - precisionBits: 32
         - signed
-   modify_expr test20.c 16:15 - statement
-    component_ref test20.c 16:9 - operand
-     indirect_ref test20.c 16:9 - object
-      var_decl ptr3 test20.c 15:19 - ref
+   modify_expr test20.c 16:15 2147483644 - statement
+    component_ref test20.c 16:9 2147483643 - operand
+     indirect_ref test20.c 16:9 2147483642 - object
+      var_decl ptr3 test20.c 15:19 2147483641 - ref
       - isUsed: 1
-       integer_cst 64 - decl size 2
+       integer_cst 64 3 - decl size 2
        - isUsed: 1
-       parm_decl ptr1 test20.c 13:25 - initial 2
-        pointer_type - decl type
-         record_type - nested type
-          identifier_node Data1 - type name
-          field_decl val test20.c 3:9 - field
+       parm_decl ptr1 test20.c 13:25 3 - initial 2
+        pointer_type 2 - decl type
+         record_type 1 - nested type
+          identifier_node Data1 0 - type name
+          field_decl val test20.c 3:9 0 - field
           - signed
-           integer_cst 32 - decl size
-           integer_type - field type
+           integer_cst 32 0 - decl size
+           integer_type 0 - field type
            - precisionBits: 32
            - signed
-        integer_cst 64 - parm size
-       pointer_type - var type 2
-        record_type - nested type
-         identifier_node Data1 - type name
-         field_decl val test20.c 3:9 - field
+        integer_cst 64 2 - parm size
+       pointer_type 3 - var type 2
+        record_type 2 - nested type
+         identifier_node Data1 1 - type name
+         field_decl val test20.c 3:9 1 - field
          - signed
-          integer_cst 32 - decl size
-          integer_type - field type
+          integer_cst 32 0 - decl size
+          integer_type 0 - field type
           - precisionBits: 32
           - signed
-     field_decl val test20.c 3:9 - field
+     field_decl val test20.c 3:9 2147483642 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 2147483641 - decl size
+      integer_type 5 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-    integer_cst 100 - operand
-  block - operand
-   var_decl ptr3 test20.c 15:19 - block vars
+       type_decl int 4 - type name
+       integer_cst 32 4 - type size
+       integer_cst -2147483648 4 - min value
+       integer_cst 2147483647 4 - max value
+    integer_cst 100 2147483643 - operand
+  block 2147483645 - operand
+   var_decl ptr3 test20.c 15:19 2147483644 - block vars
    - isUsed: 1
-    integer_cst 64 - decl size 2
+    integer_cst 64 3 - decl size 2
     - isUsed: 1
-    parm_decl ptr1 test20.c 13:25 - initial 2
-     pointer_type - decl type
-      record_type - nested type
-       identifier_node Data1 - type name
-       field_decl val test20.c 3:9 - field
+    parm_decl ptr1 test20.c 13:25 3 - initial 2
+     pointer_type 2 - decl type
+      record_type 1 - nested type
+       identifier_node Data1 0 - type name
+       field_decl val test20.c 3:9 0 - field
        - signed
-        integer_cst 32 - decl size
-        integer_type - field type
+        integer_cst 32 0 - decl size
+        integer_type 0 - field type
         - precisionBits: 32
         - signed
-     integer_cst 64 - parm size
-    pointer_type - var type 2
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+     integer_cst 64 2 - parm size
+    pointer_type 3 - var type 2
+     record_type 2 - nested type
+      identifier_node Data1 1 - type name
+      field_decl val test20.c 3:9 1 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 0 - decl size
+       integer_type 0 - field type
        - precisionBits: 32
        - signed
-function_decl func3 test20.c 19:5
+function_decl func3 test20.c 19:5 2147483647
 - isPublic: 1
- function_type - function type
-  integer_type - function return type
+ function_type 2147483646 - function type
+  integer_type 2147483645 - function return type
   - precisionBits: 32
   - signed
-   type_decl int - type name
-   integer_cst 32 - type size
-   integer_cst -2147483648 - min value
-   integer_cst 2147483647 - max value
-  tree_list - arg types
-   pointer_type - value
-    record_type - nested type
-     identifier_node Data1 - type name
-     field_decl val test20.c 3:9 - field
+   type_decl int 2147483644 - type name
+   integer_cst 32 2147483644 - type size
+   integer_cst -2147483648 2147483644 - min value
+   integer_cst 2147483647 2147483644 - max value
+  tree_list 2147483645 - arg types
+   pointer_type 2147483644 - value
+    record_type 3 - nested type
+     identifier_node Data1 2 - type name
+     field_decl val test20.c 3:9 2 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 1 - decl size
+      integer_type 1 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-   tree_list - chain
-    pointer_type - value
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+       type_decl int 0 - type name
+       integer_cst 32 0 - type size
+       integer_cst -2147483648 0 - min value
+       integer_cst 2147483647 0 - max value
+   tree_list 2147483644 - chain
+    pointer_type 2147483643 - value
+     record_type 3 - nested type
+      identifier_node Data1 2 - type name
+      field_decl val test20.c 3:9 2 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 1 - decl size
+       integer_type 1 - field type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-    tree_list - chain
-     void_type - value
-      type_decl void - type name
- result_decl test20.c 19:5 - function result
+        type_decl int 0 - type name
+        integer_cst 32 0 - type size
+        integer_cst -2147483648 0 - min value
+        integer_cst 2147483647 0 - max value
+    tree_list 2147483643 - chain
+     void_type 2147483642 - value
+      type_decl void 2147483641 - type name
+ result_decl test20.c 19:5 2147483646 - function result
  - isAutogenerated: 1
-  integer_type - result type
+  integer_type 2147483645 - result type
   - precisionBits: 32
   - signed
-   type_decl int - type name
-   integer_cst 32 - type size
-   integer_cst -2147483648 - min value
-   integer_cst 2147483647 - max value
-  integer_cst 32 - decl size
+   type_decl int 2147483644 - type name
+   integer_cst 32 2147483644 - type size
+   integer_cst -2147483648 2147483644 - min value
+   integer_cst 2147483647 2147483644 - max value
+  integer_cst 32 2147483645 - decl size
  - isUsed: 1
- parm_decl ptr1 test20.c 19:25 - argument
-  pointer_type - decl type
-   record_type - nested type
-    identifier_node Data1 - type name
-    field_decl val test20.c 3:9 - field
+ parm_decl ptr1 test20.c 19:25 2147483646 - argument
+  pointer_type 2147483645 - decl type
+   record_type 3 - nested type
+    identifier_node Data1 2 - type name
+    field_decl val test20.c 3:9 2 - field
     - signed
-     integer_cst 32 - decl size
-     integer_type - field type
+     integer_cst 32 1 - decl size
+     integer_type 1 - field type
      - precisionBits: 32
      - signed
-      type_decl int - type name
-      integer_cst 32 - type size
-      integer_cst -2147483648 - min value
-      integer_cst 2147483647 - max value
-  integer_cst 64 - parm size
- parm_decl ptr2 test20.c 19:45 - argument
-  pointer_type - decl type
-   record_type - nested type
-    identifier_node Data1 - type name
-    field_decl val test20.c 3:9 - field
+      type_decl int 0 - type name
+      integer_cst 32 0 - type size
+      integer_cst -2147483648 0 - min value
+      integer_cst 2147483647 0 - max value
+  integer_cst 64 2147483645 - parm size
+ parm_decl ptr2 test20.c 19:45 2147483646 - argument
+  pointer_type 2147483645 - decl type
+   record_type 3 - nested type
+    identifier_node Data1 2 - type name
+    field_decl val test20.c 3:9 2 - field
     - signed
-     integer_cst 32 - decl size
-     integer_type - field type
+     integer_cst 32 1 - decl size
+     integer_type 1 - field type
      - precisionBits: 32
      - signed
-      type_decl int - type name
-      integer_cst 32 - type size
-      integer_cst -2147483648 - min value
-      integer_cst 2147483647 - max value
-  integer_cst 64 - parm size
- bind_expr test20.c 20:1 - code
-  var_decl ptr3 test20.c 21:19 - operand
+      type_decl int 0 - type name
+      integer_cst 32 0 - type size
+      integer_cst -2147483648 0 - min value
+      integer_cst 2147483647 0 - max value
+  integer_cst 64 2147483645 - parm size
+ bind_expr test20.c 20:1 2147483646 - code
+  var_decl ptr3 test20.c 21:19 2147483645 - operand
   - isUsed: 1
-   integer_cst 64 - decl size
+   integer_cst 64 2147483644 - decl size
    - isUsed: 1
-   parm_decl ptr1 test20.c 19:25 - initial
-    pointer_type - decl type
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+   parm_decl ptr1 test20.c 19:25 5 - initial
+    pointer_type 4 - decl type
+     record_type 3 - nested type
+      identifier_node Data1 2 - type name
+      field_decl val test20.c 3:9 2 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 1 - decl size
+       integer_type 1 - field type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-    integer_cst 64 - parm size
-   pointer_type - var type
-    record_type - nested type
-     identifier_node Data1 - type name
-     field_decl val test20.c 3:9 - field
+        type_decl int 0 - type name
+        integer_cst 32 0 - type size
+        integer_cst -2147483648 0 - min value
+        integer_cst 2147483647 0 - max value
+    integer_cst 64 4 - parm size
+   pointer_type 2147483644 - var type
+    record_type 3 - nested type
+     identifier_node Data1 2 - type name
+     field_decl val test20.c 3:9 2 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 1 - decl size
+      integer_type 1 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-  statement_list - operand
-   decl_expr test20.c 21:19 - statement
-    var_decl ptr3 test20.c 21:19 - operand
+       type_decl int 0 - type name
+       integer_cst 32 0 - type size
+       integer_cst -2147483648 0 - min value
+       integer_cst 2147483647 0 - max value
+  statement_list 2147483645 - operand
+   decl_expr test20.c 21:19 2147483644 - statement
+    var_decl ptr3 test20.c 21:19 2147483643 - operand
     - isUsed: 1
-     integer_cst 64 - decl size 2
+     integer_cst 64 3 - decl size 2
      - isUsed: 1
-     parm_decl ptr1 test20.c 19:25 - initial 2
-      pointer_type - decl type
-       record_type - nested type
-        identifier_node Data1 - type name
-        field_decl val test20.c 3:9 - field
+     parm_decl ptr1 test20.c 19:25 3 - initial 2
+      pointer_type 2 - decl type
+       record_type 1 - nested type
+        identifier_node Data1 0 - type name
+        field_decl val test20.c 3:9 0 - field
         - signed
-         integer_cst 32 - decl size
-         integer_type - field type
+         integer_cst 32 0 - decl size
+         integer_type 0 - field type
          - precisionBits: 32
          - signed
-      integer_cst 64 - parm size
-     pointer_type - var type 2
-      record_type - nested type
-       identifier_node Data1 - type name
-       field_decl val test20.c 3:9 - field
+      integer_cst 64 2 - parm size
+     pointer_type 3 - var type 2
+      record_type 2 - nested type
+       identifier_node Data1 1 - type name
+       field_decl val test20.c 3:9 1 - field
        - signed
-        integer_cst 32 - decl size
-        integer_type - field type
+        integer_cst 32 0 - decl size
+        integer_type 0 - field type
         - precisionBits: 32
         - signed
-   cond_expr test20.c 22:8 - statement
-    ne_expr test20.c 22:9 - operand
-     var_decl ptr3 test20.c 21:19 - operand
+   cond_expr test20.c 22:8 2147483644 - statement
+    ne_expr test20.c 22:9 2147483643 - operand
+     var_decl ptr3 test20.c 21:19 2147483642 - operand
      - isUsed: 1
-      integer_cst 64 - decl size 2
+      integer_cst 64 3 - decl size 2
       - isUsed: 1
-      parm_decl ptr1 test20.c 19:25 - initial 2
-       pointer_type - decl type
-        record_type - nested type
-         identifier_node Data1 - type name
-         field_decl val test20.c 3:9 - field
+      parm_decl ptr1 test20.c 19:25 3 - initial 2
+       pointer_type 2 - decl type
+        record_type 1 - nested type
+         identifier_node Data1 0 - type name
+         field_decl val test20.c 3:9 0 - field
          - signed
-          integer_cst 32 - decl size
-          integer_type - field type
+          integer_cst 32 0 - decl size
+          integer_type 0 - field type
           - precisionBits: 32
           - signed
-       integer_cst 64 - parm size
-      pointer_type - var type 2
-       record_type - nested type
-        identifier_node Data1 - type name
-        field_decl val test20.c 3:9 - field
+       integer_cst 64 2 - parm size
+      pointer_type 3 - var type 2
+       record_type 2 - nested type
+        identifier_node Data1 1 - type name
+        field_decl val test20.c 3:9 1 - field
         - signed
-         integer_cst 32 - decl size
-         integer_type - field type
+         integer_cst 32 0 - decl size
+         integer_type 0 - field type
          - precisionBits: 32
          - signed
-     integer_cst 0 - operand
-    modify_expr test20.c 23:19 - operand
-     component_ref test20.c 23:13 - operand
-      indirect_ref test20.c 23:13 - object
-       var_decl ptr3 test20.c 21:19 - ref
+     integer_cst 0 2147483642 - operand
+    modify_expr test20.c 23:19 2147483643 - operand
+     component_ref test20.c 23:13 2147483642 - operand
+      indirect_ref test20.c 23:13 2147483641 - object
+       var_decl ptr3 test20.c 21:19 2147483640 - ref
        - isUsed: 1
-        integer_cst 64 - decl size 2
+        integer_cst 64 3 - decl size 2
         - isUsed: 1
-        parm_decl ptr1 test20.c 19:25 - initial 2
-         pointer_type - decl type
-          record_type - nested type
-           identifier_node Data1 - type name
-           field_decl val test20.c 3:9 - field
+        parm_decl ptr1 test20.c 19:25 3 - initial 2
+         pointer_type 2 - decl type
+          record_type 1 - nested type
+           identifier_node Data1 0 - type name
+           field_decl val test20.c 3:9 0 - field
            - signed
-            integer_cst 32 - decl size
-            integer_type - field type
+            integer_cst 32 0 - decl size
+            integer_type 0 - field type
             - precisionBits: 32
             - signed
-         integer_cst 64 - parm size
-        pointer_type - var type 2
-         record_type - nested type
-          identifier_node Data1 - type name
-          field_decl val test20.c 3:9 - field
+         integer_cst 64 2 - parm size
+        pointer_type 3 - var type 2
+         record_type 2 - nested type
+          identifier_node Data1 1 - type name
+          field_decl val test20.c 3:9 1 - field
           - signed
-           integer_cst 32 - decl size
-           integer_type - field type
+           integer_cst 32 0 - decl size
+           integer_type 0 - field type
            - precisionBits: 32
            - signed
-      field_decl val test20.c 3:9 - field
+      field_decl val test20.c 3:9 2147483641 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 2147483640 - decl size
+       integer_type 5 - field type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-     integer_cst 100 - operand
-  block - operand
-   var_decl ptr3 test20.c 21:19 - block vars
+        type_decl int 4 - type name
+        integer_cst 32 4 - type size
+        integer_cst -2147483648 4 - min value
+        integer_cst 2147483647 4 - max value
+     integer_cst 100 2147483642 - operand
+  block 2147483645 - operand
+   var_decl ptr3 test20.c 21:19 2147483644 - block vars
    - isUsed: 1
-    integer_cst 64 - decl size 2
+    integer_cst 64 3 - decl size 2
     - isUsed: 1
-    parm_decl ptr1 test20.c 19:25 - initial 2
-     pointer_type - decl type
-      record_type - nested type
-       identifier_node Data1 - type name
-       field_decl val test20.c 3:9 - field
+    parm_decl ptr1 test20.c 19:25 3 - initial 2
+     pointer_type 2 - decl type
+      record_type 1 - nested type
+       identifier_node Data1 0 - type name
+       field_decl val test20.c 3:9 0 - field
        - signed
-        integer_cst 32 - decl size
-        integer_type - field type
+        integer_cst 32 0 - decl size
+        integer_type 0 - field type
         - precisionBits: 32
         - signed
-     integer_cst 64 - parm size
-    pointer_type - var type 2
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+     integer_cst 64 2 - parm size
+    pointer_type 3 - var type 2
+     record_type 2 - nested type
+      identifier_node Data1 1 - type name
+      field_decl val test20.c 3:9 1 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 0 - decl size
+       integer_type 0 - field type
        - precisionBits: 32
        - signed
-function_decl func4 test20.c 26:5
+function_decl func4 test20.c 26:5 2147483647
 - isPublic: 1
- function_type - function type
-  integer_type - function return type
+ function_type 2147483646 - function type
+  integer_type 2147483645 - function return type
   - precisionBits: 32
   - signed
-   type_decl int - type name
-   integer_cst 32 - type size
-   integer_cst -2147483648 - min value
-   integer_cst 2147483647 - max value
-  tree_list - arg types
-   pointer_type - value
-    record_type - nested type
-     identifier_node Data1 - type name
-     field_decl val test20.c 3:9 - field
+   type_decl int 2147483644 - type name
+   integer_cst 32 2147483644 - type size
+   integer_cst -2147483648 2147483644 - min value
+   integer_cst 2147483647 2147483644 - max value
+  tree_list 2147483645 - arg types
+   pointer_type 2147483644 - value
+    record_type 3 - nested type
+     identifier_node Data1 2 - type name
+     field_decl val test20.c 3:9 2 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 1 - decl size
+      integer_type 1 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-   tree_list - chain
-    pointer_type - value
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+       type_decl int 0 - type name
+       integer_cst 32 0 - type size
+       integer_cst -2147483648 0 - min value
+       integer_cst 2147483647 0 - max value
+   tree_list 2147483644 - chain
+    pointer_type 2147483643 - value
+     record_type 3 - nested type
+      identifier_node Data1 2 - type name
+      field_decl val test20.c 3:9 2 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 1 - decl size
+       integer_type 1 - field type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-    tree_list - chain
-     void_type - value
-      type_decl void - type name
- result_decl test20.c 26:5 - function result
+        type_decl int 0 - type name
+        integer_cst 32 0 - type size
+        integer_cst -2147483648 0 - min value
+        integer_cst 2147483647 0 - max value
+    tree_list 2147483643 - chain
+     void_type 2147483642 - value
+      type_decl void 2147483641 - type name
+ result_decl test20.c 26:5 2147483646 - function result
  - isAutogenerated: 1
-  integer_type - result type
+  integer_type 2147483645 - result type
   - precisionBits: 32
   - signed
-   type_decl int - type name
-   integer_cst 32 - type size
-   integer_cst -2147483648 - min value
-   integer_cst 2147483647 - max value
-  integer_cst 32 - decl size
+   type_decl int 2147483644 - type name
+   integer_cst 32 2147483644 - type size
+   integer_cst -2147483648 2147483644 - min value
+   integer_cst 2147483647 2147483644 - max value
+  integer_cst 32 2147483645 - decl size
  - isUsed: 1
- parm_decl ptr1 test20.c 26:25 - argument
-  pointer_type - decl type
-   record_type - nested type
-    identifier_node Data1 - type name
-    field_decl val test20.c 3:9 - field
+ parm_decl ptr1 test20.c 26:25 2147483646 - argument
+  pointer_type 2147483645 - decl type
+   record_type 3 - nested type
+    identifier_node Data1 2 - type name
+    field_decl val test20.c 3:9 2 - field
     - signed
-     integer_cst 32 - decl size
-     integer_type - field type
+     integer_cst 32 1 - decl size
+     integer_type 1 - field type
      - precisionBits: 32
      - signed
-      type_decl int - type name
-      integer_cst 32 - type size
-      integer_cst -2147483648 - min value
-      integer_cst 2147483647 - max value
-  integer_cst 64 - parm size
+      type_decl int 0 - type name
+      integer_cst 32 0 - type size
+      integer_cst -2147483648 0 - min value
+      integer_cst 2147483647 0 - max value
+  integer_cst 64 2147483645 - parm size
  - isUsed: 1
- parm_decl ptr2 test20.c 26:45 - argument
-  pointer_type - decl type
-   record_type - nested type
-    identifier_node Data1 - type name
-    field_decl val test20.c 3:9 - field
+ parm_decl ptr2 test20.c 26:45 2147483646 - argument
+  pointer_type 2147483645 - decl type
+   record_type 3 - nested type
+    identifier_node Data1 2 - type name
+    field_decl val test20.c 3:9 2 - field
     - signed
-     integer_cst 32 - decl size
-     integer_type - field type
+     integer_cst 32 1 - decl size
+     integer_type 1 - field type
      - precisionBits: 32
      - signed
-      type_decl int - type name
-      integer_cst 32 - type size
-      integer_cst -2147483648 - min value
-      integer_cst 2147483647 - max value
-  integer_cst 64 - parm size
- bind_expr test20.c 27:1 - code
-  var_decl ptr3 test20.c 28:19 - operand
+      type_decl int 0 - type name
+      integer_cst 32 0 - type size
+      integer_cst -2147483648 0 - min value
+      integer_cst 2147483647 0 - max value
+  integer_cst 64 2147483645 - parm size
+ bind_expr test20.c 27:1 2147483646 - code
+  var_decl ptr3 test20.c 28:19 2147483645 - operand
   - isUsed: 1
-   integer_cst 64 - decl size
+   integer_cst 64 2147483644 - decl size
    - isUsed: 1
-   parm_decl ptr1 test20.c 26:25 - initial
-    pointer_type - decl type
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+   parm_decl ptr1 test20.c 26:25 5 - initial
+    pointer_type 4 - decl type
+     record_type 3 - nested type
+      identifier_node Data1 2 - type name
+      field_decl val test20.c 3:9 2 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 1 - decl size
+       integer_type 1 - field type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-    integer_cst 64 - parm size
-   pointer_type - var type
-    record_type - nested type
-     identifier_node Data1 - type name
-     field_decl val test20.c 3:9 - field
+        type_decl int 0 - type name
+        integer_cst 32 0 - type size
+        integer_cst -2147483648 0 - min value
+        integer_cst 2147483647 0 - max value
+    integer_cst 64 4 - parm size
+   pointer_type 2147483644 - var type
+    record_type 3 - nested type
+     identifier_node Data1 2 - type name
+     field_decl val test20.c 3:9 2 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 1 - decl size
+      integer_type 1 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-  statement_list - operand
-   decl_expr test20.c 28:19 - statement
-    var_decl ptr3 test20.c 28:19 - operand
+       type_decl int 0 - type name
+       integer_cst 32 0 - type size
+       integer_cst -2147483648 0 - min value
+       integer_cst 2147483647 0 - max value
+  statement_list 2147483645 - operand
+   decl_expr test20.c 28:19 2147483644 - statement
+    var_decl ptr3 test20.c 28:19 2147483643 - operand
     - isUsed: 1
-     integer_cst 64 - decl size 2
+     integer_cst 64 3 - decl size 2
      - isUsed: 1
-     parm_decl ptr1 test20.c 26:25 - initial 2
-      pointer_type - decl type
-       record_type - nested type
-        identifier_node Data1 - type name
-        field_decl val test20.c 3:9 - field
+     parm_decl ptr1 test20.c 26:25 3 - initial 2
+      pointer_type 2 - decl type
+       record_type 1 - nested type
+        identifier_node Data1 0 - type name
+        field_decl val test20.c 3:9 0 - field
         - signed
-         integer_cst 32 - decl size
-         integer_type - field type
+         integer_cst 32 0 - decl size
+         integer_type 0 - field type
          - precisionBits: 32
          - signed
-      integer_cst 64 - parm size
-     pointer_type - var type 2
-      record_type - nested type
-       identifier_node Data1 - type name
-       field_decl val test20.c 3:9 - field
+      integer_cst 64 2 - parm size
+     pointer_type 3 - var type 2
+      record_type 2 - nested type
+       identifier_node Data1 1 - type name
+       field_decl val test20.c 3:9 1 - field
        - signed
-        integer_cst 32 - decl size
-        integer_type - field type
+        integer_cst 32 0 - decl size
+        integer_type 0 - field type
         - precisionBits: 32
         - signed
-   cond_expr test20.c 29:8 - statement
-    ne_expr test20.c 29:9 - operand
-     var_decl ptr3 test20.c 28:19 - operand
+   cond_expr test20.c 29:8 2147483644 - statement
+    ne_expr test20.c 29:9 2147483643 - operand
+     var_decl ptr3 test20.c 28:19 2147483642 - operand
      - isUsed: 1
-      integer_cst 64 - decl size 2
+      integer_cst 64 3 - decl size 2
       - isUsed: 1
-      parm_decl ptr1 test20.c 26:25 - initial 2
-       pointer_type - decl type
-        record_type - nested type
-         identifier_node Data1 - type name
-         field_decl val test20.c 3:9 - field
+      parm_decl ptr1 test20.c 26:25 3 - initial 2
+       pointer_type 2 - decl type
+        record_type 1 - nested type
+         identifier_node Data1 0 - type name
+         field_decl val test20.c 3:9 0 - field
          - signed
-          integer_cst 32 - decl size
-          integer_type - field type
+          integer_cst 32 0 - decl size
+          integer_type 0 - field type
           - precisionBits: 32
           - signed
-       integer_cst 64 - parm size
-      pointer_type - var type 2
-       record_type - nested type
-        identifier_node Data1 - type name
-        field_decl val test20.c 3:9 - field
+       integer_cst 64 2 - parm size
+      pointer_type 3 - var type 2
+       record_type 2 - nested type
+        identifier_node Data1 1 - type name
+        field_decl val test20.c 3:9 1 - field
         - signed
-         integer_cst 32 - decl size
-         integer_type - field type
+         integer_cst 32 0 - decl size
+         integer_type 0 - field type
          - precisionBits: 32
          - signed
-     integer_cst 0 - operand
-    modify_expr test20.c 30:19 - operand
-     component_ref test20.c 30:13 - operand
-      indirect_ref test20.c 30:13 - object
-       var_decl ptr3 test20.c 28:19 - ref
+     integer_cst 0 2147483642 - operand
+    modify_expr test20.c 30:19 2147483643 - operand
+     component_ref test20.c 30:13 2147483642 - operand
+      indirect_ref test20.c 30:13 2147483641 - object
+       var_decl ptr3 test20.c 28:19 2147483640 - ref
        - isUsed: 1
-        integer_cst 64 - decl size 2
+        integer_cst 64 3 - decl size 2
         - isUsed: 1
-        parm_decl ptr1 test20.c 26:25 - initial 2
-         pointer_type - decl type
-          record_type - nested type
-           identifier_node Data1 - type name
-           field_decl val test20.c 3:9 - field
+        parm_decl ptr1 test20.c 26:25 3 - initial 2
+         pointer_type 2 - decl type
+          record_type 1 - nested type
+           identifier_node Data1 0 - type name
+           field_decl val test20.c 3:9 0 - field
            - signed
-            integer_cst 32 - decl size
-            integer_type - field type
+            integer_cst 32 0 - decl size
+            integer_type 0 - field type
             - precisionBits: 32
             - signed
-         integer_cst 64 - parm size
-        pointer_type - var type 2
-         record_type - nested type
-          identifier_node Data1 - type name
-          field_decl val test20.c 3:9 - field
+         integer_cst 64 2 - parm size
+        pointer_type 3 - var type 2
+         record_type 2 - nested type
+          identifier_node Data1 1 - type name
+          field_decl val test20.c 3:9 1 - field
           - signed
-           integer_cst 32 - decl size
-           integer_type - field type
+           integer_cst 32 0 - decl size
+           integer_type 0 - field type
            - precisionBits: 32
            - signed
-      field_decl val test20.c 3:9 - field
+      field_decl val test20.c 3:9 2147483641 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 2147483640 - decl size
+       integer_type 5 - field type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-     integer_cst 100 - operand
-    cond_expr test20.c 31:13 - operand
-     truth_andif_expr test20.c 31:20 - operand
-      eq_expr test20.c 31:14 - operand
+        type_decl int 4 - type name
+        integer_cst 32 4 - type size
+        integer_cst -2147483648 4 - min value
+        integer_cst 2147483647 4 - max value
+     integer_cst 100 2147483642 - operand
+    cond_expr test20.c 31:13 2147483643 - operand
+     truth_andif_expr test20.c 31:20 2147483642 - operand
+      eq_expr test20.c 31:14 2147483641 - operand
        - isUsed: 1
-       parm_decl ptr1 test20.c 26:25 - operand
-        pointer_type - decl type
-         record_type - nested type
-          identifier_node Data1 - type name
-          field_decl val test20.c 3:9 - field
+       parm_decl ptr1 test20.c 26:25 2147483640 - operand
+        pointer_type 2147483639 - decl type
+         record_type 3 - nested type
+          identifier_node Data1 2 - type name
+          field_decl val test20.c 3:9 2 - field
           - signed
-           integer_cst 32 - decl size
-           integer_type - field type
+           integer_cst 32 1 - decl size
+           integer_type 1 - field type
            - precisionBits: 32
            - signed
-            type_decl int - type name
-            integer_cst 32 - type size
-            integer_cst -2147483648 - min value
-            integer_cst 2147483647 - max value
-        integer_cst 64 - parm size
-       integer_cst 0 - operand
-      ne_expr test20.c 31:20 - operand
+            type_decl int 0 - type name
+            integer_cst 32 0 - type size
+            integer_cst -2147483648 0 - min value
+            integer_cst 2147483647 0 - max value
+        integer_cst 64 2147483639 - parm size
+       integer_cst 0 2147483640 - operand
+      ne_expr test20.c 31:20 2147483641 - operand
        - isUsed: 1
-       parm_decl ptr2 test20.c 26:45 - operand
-        pointer_type - decl type
-         record_type - nested type
-          identifier_node Data1 - type name
-          field_decl val test20.c 3:9 - field
+       parm_decl ptr2 test20.c 26:45 2147483640 - operand
+        pointer_type 2147483639 - decl type
+         record_type 3 - nested type
+          identifier_node Data1 2 - type name
+          field_decl val test20.c 3:9 2 - field
           - signed
-           integer_cst 32 - decl size
-           integer_type - field type
+           integer_cst 32 1 - decl size
+           integer_type 1 - field type
            - precisionBits: 32
            - signed
-            type_decl int - type name
-            integer_cst 32 - type size
-            integer_cst -2147483648 - min value
-            integer_cst 2147483647 - max value
-        integer_cst 64 - parm size
-       integer_cst 0 - operand
-     modify_expr test20.c 32:19 - operand
-      component_ref test20.c 32:13 - operand
-       indirect_ref test20.c 32:13 - object
+            type_decl int 0 - type name
+            integer_cst 32 0 - type size
+            integer_cst -2147483648 0 - min value
+            integer_cst 2147483647 0 - max value
+        integer_cst 64 2147483639 - parm size
+       integer_cst 0 2147483640 - operand
+     modify_expr test20.c 32:19 2147483642 - operand
+      component_ref test20.c 32:13 2147483641 - operand
+       indirect_ref test20.c 32:13 2147483640 - object
         - isUsed: 1
-        parm_decl ptr2 test20.c 26:45 - ref
-         pointer_type - decl type
-          record_type - nested type
-           identifier_node Data1 - type name
-           field_decl val test20.c 3:9 - field
+        parm_decl ptr2 test20.c 26:45 2147483639 - ref
+         pointer_type 2147483638 - decl type
+          record_type 3 - nested type
+           identifier_node Data1 2 - type name
+           field_decl val test20.c 3:9 2 - field
            - signed
-            integer_cst 32 - decl size
-            integer_type - field type
+            integer_cst 32 1 - decl size
+            integer_type 1 - field type
             - precisionBits: 32
             - signed
-             type_decl int - type name
-             integer_cst 32 - type size
-             integer_cst -2147483648 - min value
-             integer_cst 2147483647 - max value
-         integer_cst 64 - parm size
-       field_decl val test20.c 3:9 - field
+             type_decl int 0 - type name
+             integer_cst 32 0 - type size
+             integer_cst -2147483648 0 - min value
+             integer_cst 2147483647 0 - max value
+         integer_cst 64 2147483638 - parm size
+       field_decl val test20.c 3:9 2147483640 - field
        - signed
-        integer_cst 32 - decl size
-        integer_type - field type
+        integer_cst 32 2147483639 - decl size
+        integer_type 5 - field type
         - precisionBits: 32
         - signed
-         type_decl int - type name
-         integer_cst 32 - type size
-         integer_cst -2147483648 - min value
-         integer_cst 2147483647 - max value
-      integer_cst 200 - operand
-  block - operand
-   var_decl ptr3 test20.c 28:19 - block vars
+         type_decl int 4 - type name
+         integer_cst 32 4 - type size
+         integer_cst -2147483648 4 - min value
+         integer_cst 2147483647 4 - max value
+      integer_cst 200 2147483641 - operand
+  block 2147483645 - operand
+   var_decl ptr3 test20.c 28:19 2147483644 - block vars
    - isUsed: 1
-    integer_cst 64 - decl size 2
+    integer_cst 64 3 - decl size 2
     - isUsed: 1
-    parm_decl ptr1 test20.c 26:25 - initial 2
-     pointer_type - decl type
-      record_type - nested type
-       identifier_node Data1 - type name
-       field_decl val test20.c 3:9 - field
+    parm_decl ptr1 test20.c 26:25 3 - initial 2
+     pointer_type 2 - decl type
+      record_type 1 - nested type
+       identifier_node Data1 0 - type name
+       field_decl val test20.c 3:9 0 - field
        - signed
-        integer_cst 32 - decl size
-        integer_type - field type
+        integer_cst 32 0 - decl size
+        integer_type 0 - field type
         - precisionBits: 32
         - signed
-     integer_cst 64 - parm size
-    pointer_type - var type 2
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+     integer_cst 64 2 - parm size
+    pointer_type 3 - var type 2
+     record_type 2 - nested type
+      identifier_node Data1 1 - type name
+      field_decl val test20.c 3:9 1 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 0 - decl size
+       integer_type 0 - field type
        - precisionBits: 32
        - signed
-function_decl func5 test20.c 35:5
+function_decl func5 test20.c 35:5 2147483647
 - isPublic: 1
- function_type - function type
-  integer_type - function return type
+ function_type 2147483646 - function type
+  integer_type 2147483645 - function return type
   - precisionBits: 32
   - signed
-   type_decl int - type name
-   integer_cst 32 - type size
-   integer_cst -2147483648 - min value
-   integer_cst 2147483647 - max value
-  tree_list - arg types
-   pointer_type - value
-    record_type - nested type
-     identifier_node Data1 - type name
-     field_decl val test20.c 3:9 - field
+   type_decl int 2147483644 - type name
+   integer_cst 32 2147483644 - type size
+   integer_cst -2147483648 2147483644 - min value
+   integer_cst 2147483647 2147483644 - max value
+  tree_list 2147483645 - arg types
+   pointer_type 2147483644 - value
+    record_type 3 - nested type
+     identifier_node Data1 2 - type name
+     field_decl val test20.c 3:9 2 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 1 - decl size
+      integer_type 1 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-   tree_list - chain
-    pointer_type - value
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+       type_decl int 0 - type name
+       integer_cst 32 0 - type size
+       integer_cst -2147483648 0 - min value
+       integer_cst 2147483647 0 - max value
+   tree_list 2147483644 - chain
+    pointer_type 2147483643 - value
+     record_type 3 - nested type
+      identifier_node Data1 2 - type name
+      field_decl val test20.c 3:9 2 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 1 - decl size
+       integer_type 1 - field type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-    tree_list - chain
-     void_type - value
-      type_decl void - type name
- result_decl test20.c 35:5 - function result
+        type_decl int 0 - type name
+        integer_cst 32 0 - type size
+        integer_cst -2147483648 0 - min value
+        integer_cst 2147483647 0 - max value
+    tree_list 2147483643 - chain
+     void_type 2147483642 - value
+      type_decl void 2147483641 - type name
+ result_decl test20.c 35:5 2147483646 - function result
  - isAutogenerated: 1
-  integer_type - result type
+  integer_type 2147483645 - result type
   - precisionBits: 32
   - signed
-   type_decl int - type name
-   integer_cst 32 - type size
-   integer_cst -2147483648 - min value
-   integer_cst 2147483647 - max value
-  integer_cst 32 - decl size
+   type_decl int 2147483644 - type name
+   integer_cst 32 2147483644 - type size
+   integer_cst -2147483648 2147483644 - min value
+   integer_cst 2147483647 2147483644 - max value
+  integer_cst 32 2147483645 - decl size
  - isUsed: 1
- parm_decl ptr1 test20.c 35:25 - argument
-  pointer_type - decl type
-   record_type - nested type
-    identifier_node Data1 - type name
-    field_decl val test20.c 3:9 - field
+ parm_decl ptr1 test20.c 35:25 2147483646 - argument
+  pointer_type 2147483645 - decl type
+   record_type 3 - nested type
+    identifier_node Data1 2 - type name
+    field_decl val test20.c 3:9 2 - field
     - signed
-     integer_cst 32 - decl size
-     integer_type - field type
+     integer_cst 32 1 - decl size
+     integer_type 1 - field type
      - precisionBits: 32
      - signed
-      type_decl int - type name
-      integer_cst 32 - type size
-      integer_cst -2147483648 - min value
-      integer_cst 2147483647 - max value
-  integer_cst 64 - parm size
- parm_decl ptr2 test20.c 35:45 - argument
-  pointer_type - decl type
-   record_type - nested type
-    identifier_node Data1 - type name
-    field_decl val test20.c 3:9 - field
+      type_decl int 0 - type name
+      integer_cst 32 0 - type size
+      integer_cst -2147483648 0 - min value
+      integer_cst 2147483647 0 - max value
+  integer_cst 64 2147483645 - parm size
+ parm_decl ptr2 test20.c 35:45 2147483646 - argument
+  pointer_type 2147483645 - decl type
+   record_type 3 - nested type
+    identifier_node Data1 2 - type name
+    field_decl val test20.c 3:9 2 - field
     - signed
-     integer_cst 32 - decl size
-     integer_type - field type
+     integer_cst 32 1 - decl size
+     integer_type 1 - field type
      - precisionBits: 32
      - signed
-      type_decl int - type name
-      integer_cst 32 - type size
-      integer_cst -2147483648 - min value
-      integer_cst 2147483647 - max value
-  integer_cst 64 - parm size
- bind_expr test20.c 36:1 - code
-  var_decl ptr3 test20.c 40:19 - operand
+      type_decl int 0 - type name
+      integer_cst 32 0 - type size
+      integer_cst -2147483648 0 - min value
+      integer_cst 2147483647 0 - max value
+  integer_cst 64 2147483645 - parm size
+ bind_expr test20.c 36:1 2147483646 - code
+  var_decl ptr3 test20.c 40:19 2147483645 - operand
   - isUsed: 1
-   integer_cst 64 - decl size
+   integer_cst 64 2147483644 - decl size
    - isUsed: 1
-   parm_decl ptr1 test20.c 35:25 - initial
-    pointer_type - decl type
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+   parm_decl ptr1 test20.c 35:25 5 - initial
+    pointer_type 4 - decl type
+     record_type 3 - nested type
+      identifier_node Data1 2 - type name
+      field_decl val test20.c 3:9 2 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 1 - decl size
+       integer_type 1 - field type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-    integer_cst 64 - parm size
-   pointer_type - var type
-    record_type - nested type
-     identifier_node Data1 - type name
-     field_decl val test20.c 3:9 - field
+        type_decl int 0 - type name
+        integer_cst 32 0 - type size
+        integer_cst -2147483648 0 - min value
+        integer_cst 2147483647 0 - max value
+    integer_cst 64 4 - parm size
+   pointer_type 2147483644 - var type
+    record_type 3 - nested type
+     identifier_node Data1 2 - type name
+     field_decl val test20.c 3:9 2 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 1 - decl size
+      integer_type 1 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-  statement_list - operand
-   cond_expr test20.c 37:8 - statement
-    truth_orif_expr test20.c 37:15 - operand
-     eq_expr test20.c 37:9 - operand
+       type_decl int 0 - type name
+       integer_cst 32 0 - type size
+       integer_cst -2147483648 0 - min value
+       integer_cst 2147483647 0 - max value
+  statement_list 2147483645 - operand
+   cond_expr test20.c 37:8 2147483644 - statement
+    truth_orif_expr test20.c 37:15 2147483643 - operand
+     eq_expr test20.c 37:9 2147483642 - operand
       - isUsed: 1
-      parm_decl ptr1 test20.c 35:25 - operand
-       pointer_type - decl type
-        record_type - nested type
-         identifier_node Data1 - type name
-         field_decl val test20.c 3:9 - field
+      parm_decl ptr1 test20.c 35:25 2147483641 - operand
+       pointer_type 2147483640 - decl type
+        record_type 3 - nested type
+         identifier_node Data1 2 - type name
+         field_decl val test20.c 3:9 2 - field
          - signed
-          integer_cst 32 - decl size
-          integer_type - field type
+          integer_cst 32 1 - decl size
+          integer_type 1 - field type
           - precisionBits: 32
           - signed
-           type_decl int - type name
-           integer_cst 32 - type size
-           integer_cst -2147483648 - min value
-           integer_cst 2147483647 - max value
-       integer_cst 64 - parm size
-      integer_cst 0 - operand
-     eq_expr test20.c 37:20 - operand
-      var_decl k test20.c 6:5 - operand
+           type_decl int 0 - type name
+           integer_cst 32 0 - type size
+           integer_cst -2147483648 0 - min value
+           integer_cst 2147483647 0 - max value
+       integer_cst 64 2147483640 - parm size
+      integer_cst 0 2147483641 - operand
+     eq_expr test20.c 37:20 2147483642 - operand
+      var_decl k test20.c 6:5 2147483641 - operand
       - isUsed: 1
-       integer_cst 32 - decl size
-       integer_type - var type
+       integer_cst 32 2147483640 - decl size
+       integer_type 2147483640 - var type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-      integer_cst 10 - operand
-    return_expr test20.c 38:16 - operand
-     modify_expr test20.c 38:16 - operand
-      result_decl test20.c 35:5 - operand
+        type_decl int 2147483639 - type name
+        integer_cst 32 2147483639 - type size
+        integer_cst -2147483648 2147483639 - min value
+        integer_cst 2147483647 2147483639 - max value
+      integer_cst 10 2147483641 - operand
+    return_expr test20.c 38:16 2147483643 - operand
+     modify_expr test20.c 38:16 2147483642 - operand
+      result_decl test20.c 35:5 2147483641 - operand
       - isAutogenerated: 1
-       integer_type - result type
+       integer_type 2147483640 - result type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-       integer_cst 32 - decl size
-      integer_cst 0 - operand
-   decl_expr test20.c 40:19 - statement
-    var_decl ptr3 test20.c 40:19 - operand
+        type_decl int 2147483639 - type name
+        integer_cst 32 2147483639 - type size
+        integer_cst -2147483648 2147483639 - min value
+        integer_cst 2147483647 2147483639 - max value
+       integer_cst 32 2147483640 - decl size
+      integer_cst 0 2147483641 - operand
+   decl_expr test20.c 40:19 2147483644 - statement
+    var_decl ptr3 test20.c 40:19 2147483643 - operand
     - isUsed: 1
-     integer_cst 64 - decl size 2
+     integer_cst 64 3 - decl size 2
      - isUsed: 1
-     parm_decl ptr1 test20.c 35:25 - initial 2
-      pointer_type - decl type
-       record_type - nested type
-        identifier_node Data1 - type name
-        field_decl val test20.c 3:9 - field
+     parm_decl ptr1 test20.c 35:25 3 - initial 2
+      pointer_type 2 - decl type
+       record_type 1 - nested type
+        identifier_node Data1 0 - type name
+        field_decl val test20.c 3:9 0 - field
         - signed
-         integer_cst 32 - decl size
-         integer_type - field type
+         integer_cst 32 0 - decl size
+         integer_type 0 - field type
          - precisionBits: 32
          - signed
-      integer_cst 64 - parm size
-     pointer_type - var type 2
-      record_type - nested type
-       identifier_node Data1 - type name
-       field_decl val test20.c 3:9 - field
+      integer_cst 64 2 - parm size
+     pointer_type 3 - var type 2
+      record_type 2 - nested type
+       identifier_node Data1 1 - type name
+       field_decl val test20.c 3:9 1 - field
        - signed
-        integer_cst 32 - decl size
-        integer_type - field type
+        integer_cst 32 0 - decl size
+        integer_type 0 - field type
         - precisionBits: 32
         - signed
-   modify_expr test20.c 42:15 - statement
-    component_ref test20.c 42:9 - operand
-     indirect_ref test20.c 42:9 - object
-      var_decl ptr3 test20.c 40:19 - ref
+   modify_expr test20.c 42:15 2147483644 - statement
+    component_ref test20.c 42:9 2147483643 - operand
+     indirect_ref test20.c 42:9 2147483642 - object
+      var_decl ptr3 test20.c 40:19 2147483641 - ref
       - isUsed: 1
-       integer_cst 64 - decl size 2
+       integer_cst 64 3 - decl size 2
        - isUsed: 1
-       parm_decl ptr1 test20.c 35:25 - initial 2
-        pointer_type - decl type
-         record_type - nested type
-          identifier_node Data1 - type name
-          field_decl val test20.c 3:9 - field
+       parm_decl ptr1 test20.c 35:25 3 - initial 2
+        pointer_type 2 - decl type
+         record_type 1 - nested type
+          identifier_node Data1 0 - type name
+          field_decl val test20.c 3:9 0 - field
           - signed
-           integer_cst 32 - decl size
-           integer_type - field type
+           integer_cst 32 0 - decl size
+           integer_type 0 - field type
            - precisionBits: 32
            - signed
-        integer_cst 64 - parm size
-       pointer_type - var type 2
-        record_type - nested type
-         identifier_node Data1 - type name
-         field_decl val test20.c 3:9 - field
+        integer_cst 64 2 - parm size
+       pointer_type 3 - var type 2
+        record_type 2 - nested type
+         identifier_node Data1 1 - type name
+         field_decl val test20.c 3:9 1 - field
          - signed
-          integer_cst 32 - decl size
-          integer_type - field type
+          integer_cst 32 0 - decl size
+          integer_type 0 - field type
           - precisionBits: 32
           - signed
-     field_decl val test20.c 3:9 - field
+     field_decl val test20.c 3:9 2147483642 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 2147483641 - decl size
+      integer_type 5 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-    integer_cst 100 - operand
-  block - operand
-   var_decl ptr3 test20.c 40:19 - block vars
+       type_decl int 4 - type name
+       integer_cst 32 4 - type size
+       integer_cst -2147483648 4 - min value
+       integer_cst 2147483647 4 - max value
+    integer_cst 100 2147483643 - operand
+  block 2147483645 - operand
+   var_decl ptr3 test20.c 40:19 2147483644 - block vars
    - isUsed: 1
-    integer_cst 64 - decl size 2
+    integer_cst 64 3 - decl size 2
     - isUsed: 1
-    parm_decl ptr1 test20.c 35:25 - initial 2
-     pointer_type - decl type
-      record_type - nested type
-       identifier_node Data1 - type name
-       field_decl val test20.c 3:9 - field
+    parm_decl ptr1 test20.c 35:25 3 - initial 2
+     pointer_type 2 - decl type
+      record_type 1 - nested type
+       identifier_node Data1 0 - type name
+       field_decl val test20.c 3:9 0 - field
        - signed
-        integer_cst 32 - decl size
-        integer_type - field type
+        integer_cst 32 0 - decl size
+        integer_type 0 - field type
         - precisionBits: 32
         - signed
-     integer_cst 64 - parm size
-    pointer_type - var type 2
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+     integer_cst 64 2 - parm size
+    pointer_type 3 - var type 2
+     record_type 2 - nested type
+      identifier_node Data1 1 - type name
+      field_decl val test20.c 3:9 1 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 0 - decl size
+       integer_type 0 - field type
        - precisionBits: 32
        - signed
-function_decl func6 test20.c 45:5
+function_decl func6 test20.c 45:5 2147483647
 - isPublic: 1
- function_type - function type
-  integer_type - function return type
+ function_type 2147483646 - function type
+  integer_type 2147483645 - function return type
   - precisionBits: 32
   - signed
-   type_decl int - type name
-   integer_cst 32 - type size
-   integer_cst -2147483648 - min value
-   integer_cst 2147483647 - max value
-  tree_list - arg types
-   pointer_type - value
-    record_type - nested type
-     identifier_node Data1 - type name
-     field_decl val test20.c 3:9 - field
+   type_decl int 2147483644 - type name
+   integer_cst 32 2147483644 - type size
+   integer_cst -2147483648 2147483644 - min value
+   integer_cst 2147483647 2147483644 - max value
+  tree_list 2147483645 - arg types
+   pointer_type 2147483644 - value
+    record_type 3 - nested type
+     identifier_node Data1 2 - type name
+     field_decl val test20.c 3:9 2 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 1 - decl size
+      integer_type 1 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-   tree_list - chain
-    pointer_type - value
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+       type_decl int 0 - type name
+       integer_cst 32 0 - type size
+       integer_cst -2147483648 0 - min value
+       integer_cst 2147483647 0 - max value
+   tree_list 2147483644 - chain
+    pointer_type 2147483643 - value
+     record_type 3 - nested type
+      identifier_node Data1 2 - type name
+      field_decl val test20.c 3:9 2 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 1 - decl size
+       integer_type 1 - field type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-    tree_list - chain
-     void_type - value
-      type_decl void - type name
- result_decl test20.c 45:5 - function result
+        type_decl int 0 - type name
+        integer_cst 32 0 - type size
+        integer_cst -2147483648 0 - min value
+        integer_cst 2147483647 0 - max value
+    tree_list 2147483643 - chain
+     void_type 2147483642 - value
+      type_decl void 2147483641 - type name
+ result_decl test20.c 45:5 2147483646 - function result
  - isAutogenerated: 1
-  integer_type - result type
+  integer_type 2147483645 - result type
   - precisionBits: 32
   - signed
-   type_decl int - type name
-   integer_cst 32 - type size
-   integer_cst -2147483648 - min value
-   integer_cst 2147483647 - max value
-  integer_cst 32 - decl size
+   type_decl int 2147483644 - type name
+   integer_cst 32 2147483644 - type size
+   integer_cst -2147483648 2147483644 - min value
+   integer_cst 2147483647 2147483644 - max value
+  integer_cst 32 2147483645 - decl size
  - isUsed: 1
- parm_decl ptr1 test20.c 45:25 - argument
-  pointer_type - decl type
-   record_type - nested type
-    identifier_node Data1 - type name
-    field_decl val test20.c 3:9 - field
+ parm_decl ptr1 test20.c 45:25 2147483646 - argument
+  pointer_type 2147483645 - decl type
+   record_type 3 - nested type
+    identifier_node Data1 2 - type name
+    field_decl val test20.c 3:9 2 - field
     - signed
-     integer_cst 32 - decl size
-     integer_type - field type
+     integer_cst 32 1 - decl size
+     integer_type 1 - field type
      - precisionBits: 32
      - signed
-      type_decl int - type name
-      integer_cst 32 - type size
-      integer_cst -2147483648 - min value
-      integer_cst 2147483647 - max value
-  integer_cst 64 - parm size
- parm_decl ptr2 test20.c 45:45 - argument
-  pointer_type - decl type
-   record_type - nested type
-    identifier_node Data1 - type name
-    field_decl val test20.c 3:9 - field
+      type_decl int 0 - type name
+      integer_cst 32 0 - type size
+      integer_cst -2147483648 0 - min value
+      integer_cst 2147483647 0 - max value
+  integer_cst 64 2147483645 - parm size
+ parm_decl ptr2 test20.c 45:45 2147483646 - argument
+  pointer_type 2147483645 - decl type
+   record_type 3 - nested type
+    identifier_node Data1 2 - type name
+    field_decl val test20.c 3:9 2 - field
     - signed
-     integer_cst 32 - decl size
-     integer_type - field type
+     integer_cst 32 1 - decl size
+     integer_type 1 - field type
      - precisionBits: 32
      - signed
-      type_decl int - type name
-      integer_cst 32 - type size
-      integer_cst -2147483648 - min value
-      integer_cst 2147483647 - max value
-  integer_cst 64 - parm size
- bind_expr test20.c 46:1 - code
-  var_decl ptr3 test20.c 50:19 - operand
+      type_decl int 0 - type name
+      integer_cst 32 0 - type size
+      integer_cst -2147483648 0 - min value
+      integer_cst 2147483647 0 - max value
+  integer_cst 64 2147483645 - parm size
+ bind_expr test20.c 46:1 2147483646 - code
+  var_decl ptr3 test20.c 50:19 2147483645 - operand
   - isUsed: 1
-   integer_cst 64 - decl size
+   integer_cst 64 2147483644 - decl size
    - isUsed: 1
-   parm_decl ptr1 test20.c 45:25 - initial
-    pointer_type - decl type
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+   parm_decl ptr1 test20.c 45:25 5 - initial
+    pointer_type 4 - decl type
+     record_type 3 - nested type
+      identifier_node Data1 2 - type name
+      field_decl val test20.c 3:9 2 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 1 - decl size
+       integer_type 1 - field type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-    integer_cst 64 - parm size
-   pointer_type - var type
-    record_type - nested type
-     identifier_node Data1 - type name
-     field_decl val test20.c 3:9 - field
+        type_decl int 0 - type name
+        integer_cst 32 0 - type size
+        integer_cst -2147483648 0 - min value
+        integer_cst 2147483647 0 - max value
+    integer_cst 64 4 - parm size
+   pointer_type 2147483644 - var type
+    record_type 3 - nested type
+     identifier_node Data1 2 - type name
+     field_decl val test20.c 3:9 2 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 1 - decl size
+      integer_type 1 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-  statement_list - operand
-   cond_expr test20.c 47:8 - statement
-    truth_orif_expr test20.c 47:14 - operand
-     ne_expr test20.c 47:9 - operand
+       type_decl int 0 - type name
+       integer_cst 32 0 - type size
+       integer_cst -2147483648 0 - min value
+       integer_cst 2147483647 0 - max value
+  statement_list 2147483645 - operand
+   cond_expr test20.c 47:8 2147483644 - statement
+    truth_orif_expr test20.c 47:14 2147483643 - operand
+     ne_expr test20.c 47:9 2147483642 - operand
       - isUsed: 1
-      parm_decl ptr1 test20.c 45:25 - operand
-       pointer_type - decl type
-        record_type - nested type
-         identifier_node Data1 - type name
-         field_decl val test20.c 3:9 - field
+      parm_decl ptr1 test20.c 45:25 2147483641 - operand
+       pointer_type 2147483640 - decl type
+        record_type 3 - nested type
+         identifier_node Data1 2 - type name
+         field_decl val test20.c 3:9 2 - field
          - signed
-          integer_cst 32 - decl size
-          integer_type - field type
+          integer_cst 32 1 - decl size
+          integer_type 1 - field type
           - precisionBits: 32
           - signed
-           type_decl int - type name
-           integer_cst 32 - type size
-           integer_cst -2147483648 - min value
-           integer_cst 2147483647 - max value
-       integer_cst 64 - parm size
-      integer_cst 0 - operand
-     eq_expr test20.c 47:19 - operand
-      var_decl k test20.c 6:5 - operand
+           type_decl int 0 - type name
+           integer_cst 32 0 - type size
+           integer_cst -2147483648 0 - min value
+           integer_cst 2147483647 0 - max value
+       integer_cst 64 2147483640 - parm size
+      integer_cst 0 2147483641 - operand
+     eq_expr test20.c 47:19 2147483642 - operand
+      var_decl k test20.c 6:5 2147483641 - operand
       - isUsed: 1
-       integer_cst 32 - decl size
-       integer_type - var type
+       integer_cst 32 2147483640 - decl size
+       integer_type 2147483640 - var type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-      integer_cst 10 - operand
-    return_expr test20.c 48:16 - operand
-     modify_expr test20.c 48:16 - operand
-      result_decl test20.c 45:5 - operand
+        type_decl int 2147483639 - type name
+        integer_cst 32 2147483639 - type size
+        integer_cst -2147483648 2147483639 - min value
+        integer_cst 2147483647 2147483639 - max value
+      integer_cst 10 2147483641 - operand
+    return_expr test20.c 48:16 2147483643 - operand
+     modify_expr test20.c 48:16 2147483642 - operand
+      result_decl test20.c 45:5 2147483641 - operand
       - isAutogenerated: 1
-       integer_type - result type
+       integer_type 2147483640 - result type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-       integer_cst 32 - decl size
-      integer_cst 0 - operand
-   decl_expr test20.c 50:19 - statement
-    var_decl ptr3 test20.c 50:19 - operand
+        type_decl int 2147483639 - type name
+        integer_cst 32 2147483639 - type size
+        integer_cst -2147483648 2147483639 - min value
+        integer_cst 2147483647 2147483639 - max value
+       integer_cst 32 2147483640 - decl size
+      integer_cst 0 2147483641 - operand
+   decl_expr test20.c 50:19 2147483644 - statement
+    var_decl ptr3 test20.c 50:19 2147483643 - operand
     - isUsed: 1
-     integer_cst 64 - decl size 2
+     integer_cst 64 3 - decl size 2
      - isUsed: 1
-     parm_decl ptr1 test20.c 45:25 - initial 2
-      pointer_type - decl type
-       record_type - nested type
-        identifier_node Data1 - type name
-        field_decl val test20.c 3:9 - field
+     parm_decl ptr1 test20.c 45:25 3 - initial 2
+      pointer_type 2 - decl type
+       record_type 1 - nested type
+        identifier_node Data1 0 - type name
+        field_decl val test20.c 3:9 0 - field
         - signed
-         integer_cst 32 - decl size
-         integer_type - field type
+         integer_cst 32 0 - decl size
+         integer_type 0 - field type
          - precisionBits: 32
          - signed
-      integer_cst 64 - parm size
-     pointer_type - var type 2
-      record_type - nested type
-       identifier_node Data1 - type name
-       field_decl val test20.c 3:9 - field
+      integer_cst 64 2 - parm size
+     pointer_type 3 - var type 2
+      record_type 2 - nested type
+       identifier_node Data1 1 - type name
+       field_decl val test20.c 3:9 1 - field
        - signed
-        integer_cst 32 - decl size
-        integer_type - field type
+        integer_cst 32 0 - decl size
+        integer_type 0 - field type
         - precisionBits: 32
         - signed
-   modify_expr test20.c 52:15 - statement
-    component_ref test20.c 52:9 - operand
-     indirect_ref test20.c 52:9 - object
-      var_decl ptr3 test20.c 50:19 - ref
+   modify_expr test20.c 52:15 2147483644 - statement
+    component_ref test20.c 52:9 2147483643 - operand
+     indirect_ref test20.c 52:9 2147483642 - object
+      var_decl ptr3 test20.c 50:19 2147483641 - ref
       - isUsed: 1
-       integer_cst 64 - decl size 2
+       integer_cst 64 3 - decl size 2
        - isUsed: 1
-       parm_decl ptr1 test20.c 45:25 - initial 2
-        pointer_type - decl type
-         record_type - nested type
-          identifier_node Data1 - type name
-          field_decl val test20.c 3:9 - field
+       parm_decl ptr1 test20.c 45:25 3 - initial 2
+        pointer_type 2 - decl type
+         record_type 1 - nested type
+          identifier_node Data1 0 - type name
+          field_decl val test20.c 3:9 0 - field
           - signed
-           integer_cst 32 - decl size
-           integer_type - field type
+           integer_cst 32 0 - decl size
+           integer_type 0 - field type
            - precisionBits: 32
            - signed
-        integer_cst 64 - parm size
-       pointer_type - var type 2
-        record_type - nested type
-         identifier_node Data1 - type name
-         field_decl val test20.c 3:9 - field
+        integer_cst 64 2 - parm size
+       pointer_type 3 - var type 2
+        record_type 2 - nested type
+         identifier_node Data1 1 - type name
+         field_decl val test20.c 3:9 1 - field
          - signed
-          integer_cst 32 - decl size
-          integer_type - field type
+          integer_cst 32 0 - decl size
+          integer_type 0 - field type
           - precisionBits: 32
           - signed
-     field_decl val test20.c 3:9 - field
+     field_decl val test20.c 3:9 2147483642 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 2147483641 - decl size
+      integer_type 5 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-    integer_cst 100 - operand
-  block - operand
-   var_decl ptr3 test20.c 50:19 - block vars
+       type_decl int 4 - type name
+       integer_cst 32 4 - type size
+       integer_cst -2147483648 4 - min value
+       integer_cst 2147483647 4 - max value
+    integer_cst 100 2147483643 - operand
+  block 2147483645 - operand
+   var_decl ptr3 test20.c 50:19 2147483644 - block vars
    - isUsed: 1
-    integer_cst 64 - decl size 2
+    integer_cst 64 3 - decl size 2
     - isUsed: 1
-    parm_decl ptr1 test20.c 45:25 - initial 2
-     pointer_type - decl type
-      record_type - nested type
-       identifier_node Data1 - type name
-       field_decl val test20.c 3:9 - field
+    parm_decl ptr1 test20.c 45:25 3 - initial 2
+     pointer_type 2 - decl type
+      record_type 1 - nested type
+       identifier_node Data1 0 - type name
+       field_decl val test20.c 3:9 0 - field
        - signed
-        integer_cst 32 - decl size
-        integer_type - field type
+        integer_cst 32 0 - decl size
+        integer_type 0 - field type
         - precisionBits: 32
         - signed
-     integer_cst 64 - parm size
-    pointer_type - var type 2
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+     integer_cst 64 2 - parm size
+    pointer_type 3 - var type 2
+     record_type 2 - nested type
+      identifier_node Data1 1 - type name
+      field_decl val test20.c 3:9 1 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 0 - decl size
+       integer_type 0 - field type
        - precisionBits: 32
        - signed
-function_decl func7 test20.c 55:5
+function_decl func7 test20.c 55:5 2147483647
 - isPublic: 1
- function_type - function type
-  integer_type - function return type
+ function_type 2147483646 - function type
+  integer_type 2147483645 - function return type
   - precisionBits: 32
   - signed
-   type_decl int - type name
-   integer_cst 32 - type size
-   integer_cst -2147483648 - min value
-   integer_cst 2147483647 - max value
-  tree_list - arg types
-   pointer_type - value
-    record_type - nested type
-     identifier_node Data1 - type name
-     field_decl val test20.c 3:9 - field
+   type_decl int 2147483644 - type name
+   integer_cst 32 2147483644 - type size
+   integer_cst -2147483648 2147483644 - min value
+   integer_cst 2147483647 2147483644 - max value
+  tree_list 2147483645 - arg types
+   pointer_type 2147483644 - value
+    record_type 3 - nested type
+     identifier_node Data1 2 - type name
+     field_decl val test20.c 3:9 2 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 1 - decl size
+      integer_type 1 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-   tree_list - chain
-    pointer_type - value
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+       type_decl int 0 - type name
+       integer_cst 32 0 - type size
+       integer_cst -2147483648 0 - min value
+       integer_cst 2147483647 0 - max value
+   tree_list 2147483644 - chain
+    pointer_type 2147483643 - value
+     record_type 3 - nested type
+      identifier_node Data1 2 - type name
+      field_decl val test20.c 3:9 2 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 1 - decl size
+       integer_type 1 - field type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-    tree_list - chain
-     void_type - value
-      type_decl void - type name
- result_decl test20.c 55:5 - function result
+        type_decl int 0 - type name
+        integer_cst 32 0 - type size
+        integer_cst -2147483648 0 - min value
+        integer_cst 2147483647 0 - max value
+    tree_list 2147483643 - chain
+     void_type 2147483642 - value
+      type_decl void 2147483641 - type name
+ result_decl test20.c 55:5 2147483646 - function result
  - isAutogenerated: 1
-  integer_type - result type
+  integer_type 2147483645 - result type
   - precisionBits: 32
   - signed
-   type_decl int - type name
-   integer_cst 32 - type size
-   integer_cst -2147483648 - min value
-   integer_cst 2147483647 - max value
-  integer_cst 32 - decl size
+   type_decl int 2147483644 - type name
+   integer_cst 32 2147483644 - type size
+   integer_cst -2147483648 2147483644 - min value
+   integer_cst 2147483647 2147483644 - max value
+  integer_cst 32 2147483645 - decl size
  - isUsed: 1
- parm_decl ptr1 test20.c 55:25 - argument
-  pointer_type - decl type
-   record_type - nested type
-    identifier_node Data1 - type name
-    field_decl val test20.c 3:9 - field
+ parm_decl ptr1 test20.c 55:25 2147483646 - argument
+  pointer_type 2147483645 - decl type
+   record_type 3 - nested type
+    identifier_node Data1 2 - type name
+    field_decl val test20.c 3:9 2 - field
     - signed
-     integer_cst 32 - decl size
-     integer_type - field type
+     integer_cst 32 1 - decl size
+     integer_type 1 - field type
      - precisionBits: 32
      - signed
-      type_decl int - type name
-      integer_cst 32 - type size
-      integer_cst -2147483648 - min value
-      integer_cst 2147483647 - max value
-  integer_cst 64 - parm size
- parm_decl ptr2 test20.c 55:45 - argument
-  pointer_type - decl type
-   record_type - nested type
-    identifier_node Data1 - type name
-    field_decl val test20.c 3:9 - field
+      type_decl int 0 - type name
+      integer_cst 32 0 - type size
+      integer_cst -2147483648 0 - min value
+      integer_cst 2147483647 0 - max value
+  integer_cst 64 2147483645 - parm size
+ parm_decl ptr2 test20.c 55:45 2147483646 - argument
+  pointer_type 2147483645 - decl type
+   record_type 3 - nested type
+    identifier_node Data1 2 - type name
+    field_decl val test20.c 3:9 2 - field
     - signed
-     integer_cst 32 - decl size
-     integer_type - field type
+     integer_cst 32 1 - decl size
+     integer_type 1 - field type
      - precisionBits: 32
      - signed
-      type_decl int - type name
-      integer_cst 32 - type size
-      integer_cst -2147483648 - min value
-      integer_cst 2147483647 - max value
-  integer_cst 64 - parm size
- bind_expr test20.c 56:1 - code
-  var_decl c test20.c 57:9 - operand
+      type_decl int 0 - type name
+      integer_cst 32 0 - type size
+      integer_cst -2147483648 0 - min value
+      integer_cst 2147483647 0 - max value
+  integer_cst 64 2147483645 - parm size
+ bind_expr test20.c 56:1 2147483646 - code
+  var_decl c test20.c 57:9 2147483645 - operand
   - isUsed: 1
-   integer_cst 32 - decl size
-   integer_type - var type
+   integer_cst 32 2147483644 - decl size
+   integer_type 2147483644 - var type
    - precisionBits: 32
    - signed
-    type_decl int - type name
-    integer_cst 32 - type size
-    integer_cst -2147483648 - min value
-    integer_cst 2147483647 - max value
-  statement_list - operand
-   decl_expr test20.c 57:9 - statement
-    var_decl c test20.c 57:9 - operand
+    type_decl int 2147483643 - type name
+    integer_cst 32 2147483643 - type size
+    integer_cst -2147483648 2147483643 - min value
+    integer_cst 2147483647 2147483643 - max value
+  statement_list 2147483645 - operand
+   decl_expr test20.c 57:9 2147483644 - statement
+    var_decl c test20.c 57:9 2147483643 - operand
     - isUsed: 1
-     integer_cst 32 - decl size 2
-     integer_type - var type 2
+     integer_cst 32 3 - decl size 2
+     integer_type 3 - var type 2
      - precisionBits: 32
      - signed
-      type_decl int - type name
-      integer_cst 32 - type size
-      integer_cst -2147483648 - min value
-      integer_cst 2147483647 - max value
-   cond_expr test20.c 58:8 - statement
-    ne_expr test20.c 58:11 - operand
-     var_decl k test20.c 6:5 - operand
+      type_decl int 2 - type name
+      integer_cst 32 2 - type size
+      integer_cst -2147483648 2 - min value
+      integer_cst 2147483647 2 - max value
+   cond_expr test20.c 58:8 2147483644 - statement
+    ne_expr test20.c 58:11 2147483643 - operand
+     var_decl k test20.c 6:5 2147483642 - operand
      - isUsed: 1
-      integer_cst 32 - decl size
-      integer_type - var type
+      integer_cst 32 2147483641 - decl size
+      integer_type 2147483641 - var type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-     var_decl c test20.c 57:9 - operand
+       type_decl int 2147483640 - type name
+       integer_cst 32 2147483640 - type size
+       integer_cst -2147483648 2147483640 - min value
+       integer_cst 2147483647 2147483640 - max value
+     var_decl c test20.c 57:9 2147483642 - operand
      - isUsed: 1
-      integer_cst 32 - decl size 2
-      integer_type - var type 2
+      integer_cst 32 3 - decl size 2
+      integer_type 3 - var type 2
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-    cond_expr test20.c 60:12 - operand
-     eq_expr test20.c 60:13 - operand
+       type_decl int 2 - type name
+       integer_cst 32 2 - type size
+       integer_cst -2147483648 2 - min value
+       integer_cst 2147483647 2 - max value
+    cond_expr test20.c 60:12 2147483643 - operand
+     eq_expr test20.c 60:13 2147483642 - operand
       - isUsed: 1
-      parm_decl ptr1 test20.c 55:25 - operand
-       pointer_type - decl type
-        record_type - nested type
-         identifier_node Data1 - type name
-         field_decl val test20.c 3:9 - field
+      parm_decl ptr1 test20.c 55:25 2147483641 - operand
+       pointer_type 2147483640 - decl type
+        record_type 3 - nested type
+         identifier_node Data1 2 - type name
+         field_decl val test20.c 3:9 2 - field
          - signed
-          integer_cst 32 - decl size
-          integer_type - field type
+          integer_cst 32 1 - decl size
+          integer_type 1 - field type
           - precisionBits: 32
           - signed
-           type_decl int - type name
-           integer_cst 32 - type size
-           integer_cst -2147483648 - min value
-           integer_cst 2147483647 - max value
-       integer_cst 64 - parm size
-      integer_cst 0 - operand
-     return_expr test20.c 61:20 - operand
-      modify_expr test20.c 61:20 - operand
-       result_decl test20.c 55:5 - operand
+           type_decl int 0 - type name
+           integer_cst 32 0 - type size
+           integer_cst -2147483648 0 - min value
+           integer_cst 2147483647 0 - max value
+       integer_cst 64 2147483640 - parm size
+      integer_cst 0 2147483641 - operand
+     return_expr test20.c 61:20 2147483642 - operand
+      modify_expr test20.c 61:20 2147483641 - operand
+       result_decl test20.c 55:5 2147483640 - operand
        - isAutogenerated: 1
-        integer_type - result type
+        integer_type 2147483639 - result type
         - precisionBits: 32
         - signed
-         type_decl int - type name
-         integer_cst 32 - type size
-         integer_cst -2147483648 - min value
-         integer_cst 2147483647 - max value
-        integer_cst 32 - decl size
-       integer_cst 0 - operand
-   decl_expr test20.c 64:19 - statement
-    var_decl ptr3 test20.c 64:19 - operand
+         type_decl int 2147483638 - type name
+         integer_cst 32 2147483638 - type size
+         integer_cst -2147483648 2147483638 - min value
+         integer_cst 2147483647 2147483638 - max value
+        integer_cst 32 2147483639 - decl size
+       integer_cst 0 2147483640 - operand
+   decl_expr test20.c 64:19 2147483644 - statement
+    var_decl ptr3 test20.c 64:19 2147483643 - operand
     - isUsed: 1
-     integer_cst 64 - decl size
+     integer_cst 64 2147483642 - decl size
      - isUsed: 1
-     parm_decl ptr1 test20.c 55:25 - initial
-      pointer_type - decl type
-       record_type - nested type
-        identifier_node Data1 - type name
-        field_decl val test20.c 3:9 - field
+     parm_decl ptr1 test20.c 55:25 5 - initial
+      pointer_type 4 - decl type
+       record_type 3 - nested type
+        identifier_node Data1 2 - type name
+        field_decl val test20.c 3:9 2 - field
         - signed
-         integer_cst 32 - decl size
-         integer_type - field type
+         integer_cst 32 1 - decl size
+         integer_type 1 - field type
          - precisionBits: 32
          - signed
-          type_decl int - type name
-          integer_cst 32 - type size
-          integer_cst -2147483648 - min value
-          integer_cst 2147483647 - max value
-      integer_cst 64 - parm size
-     pointer_type - var type
-      record_type - nested type
-       identifier_node Data1 - type name
-       field_decl val test20.c 3:9 - field
+          type_decl int 0 - type name
+          integer_cst 32 0 - type size
+          integer_cst -2147483648 0 - min value
+          integer_cst 2147483647 0 - max value
+      integer_cst 64 4 - parm size
+     pointer_type 2147483642 - var type
+      record_type 3 - nested type
+       identifier_node Data1 2 - type name
+       field_decl val test20.c 3:9 2 - field
        - signed
-        integer_cst 32 - decl size
-        integer_type - field type
+        integer_cst 32 1 - decl size
+        integer_type 1 - field type
         - precisionBits: 32
         - signed
-         type_decl int - type name
-         integer_cst 32 - type size
-         integer_cst -2147483648 - min value
-         integer_cst 2147483647 - max value
-   modify_expr test20.c 66:15 - statement
-    component_ref test20.c 66:9 - operand
-     indirect_ref test20.c 66:9 - object
+         type_decl int 0 - type name
+         integer_cst 32 0 - type size
+         integer_cst -2147483648 0 - min value
+         integer_cst 2147483647 0 - max value
+   modify_expr test20.c 66:15 2147483644 - statement
+    component_ref test20.c 66:9 2147483643 - operand
+     indirect_ref test20.c 66:9 2147483642 - object
       - isUsed: 1
-      parm_decl ptr1 test20.c 55:25 - ref
-       pointer_type - decl type
-        record_type - nested type
-         identifier_node Data1 - type name
-         field_decl val test20.c 3:9 - field
+      parm_decl ptr1 test20.c 55:25 2147483641 - ref
+       pointer_type 2147483640 - decl type
+        record_type 3 - nested type
+         identifier_node Data1 2 - type name
+         field_decl val test20.c 3:9 2 - field
          - signed
-          integer_cst 32 - decl size
-          integer_type - field type
+          integer_cst 32 1 - decl size
+          integer_type 1 - field type
           - precisionBits: 32
           - signed
-           type_decl int - type name
-           integer_cst 32 - type size
-           integer_cst -2147483648 - min value
-           integer_cst 2147483647 - max value
-       integer_cst 64 - parm size
-     field_decl val test20.c 3:9 - field
+           type_decl int 0 - type name
+           integer_cst 32 0 - type size
+           integer_cst -2147483648 0 - min value
+           integer_cst 2147483647 0 - max value
+       integer_cst 64 2147483640 - parm size
+     field_decl val test20.c 3:9 2147483642 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 2147483641 - decl size
+      integer_type 5 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-    integer_cst 100 - operand
-   modify_expr test20.c 67:15 - statement
-    component_ref test20.c 67:9 - operand
-     indirect_ref test20.c 67:9 - object
-      var_decl ptr3 test20.c 64:19 - ref
+       type_decl int 4 - type name
+       integer_cst 32 4 - type size
+       integer_cst -2147483648 4 - min value
+       integer_cst 2147483647 4 - max value
+    integer_cst 100 2147483643 - operand
+   modify_expr test20.c 67:15 2147483644 - statement
+    component_ref test20.c 67:9 2147483643 - operand
+     indirect_ref test20.c 67:9 2147483642 - object
+      var_decl ptr3 test20.c 64:19 2147483641 - ref
       - isUsed: 1
-       integer_cst 64 - decl size 2
+       integer_cst 64 3 - decl size 2
        - isUsed: 1
-       parm_decl ptr1 test20.c 55:25 - initial 2
-        pointer_type - decl type
-         record_type - nested type
-          identifier_node Data1 - type name
-          field_decl val test20.c 3:9 - field
+       parm_decl ptr1 test20.c 55:25 3 - initial 2
+        pointer_type 2 - decl type
+         record_type 1 - nested type
+          identifier_node Data1 0 - type name
+          field_decl val test20.c 3:9 0 - field
           - signed
-           integer_cst 32 - decl size
-           integer_type - field type
+           integer_cst 32 0 - decl size
+           integer_type 0 - field type
            - precisionBits: 32
            - signed
-        integer_cst 64 - parm size
-       pointer_type - var type 2
-        record_type - nested type
-         identifier_node Data1 - type name
-         field_decl val test20.c 3:9 - field
+        integer_cst 64 2 - parm size
+       pointer_type 3 - var type 2
+        record_type 2 - nested type
+         identifier_node Data1 1 - type name
+         field_decl val test20.c 3:9 1 - field
          - signed
-          integer_cst 32 - decl size
-          integer_type - field type
+          integer_cst 32 0 - decl size
+          integer_type 0 - field type
           - precisionBits: 32
           - signed
-     field_decl val test20.c 3:9 - field
+     field_decl val test20.c 3:9 2147483642 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 2147483641 - decl size
+      integer_type 5 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-    integer_cst 200 - operand
-  block - operand
-   var_decl c test20.c 57:9 - block vars
+       type_decl int 4 - type name
+       integer_cst 32 4 - type size
+       integer_cst -2147483648 4 - min value
+       integer_cst 2147483647 4 - max value
+    integer_cst 200 2147483643 - operand
+  block 2147483645 - operand
+   var_decl c test20.c 57:9 2147483644 - block vars
    - isUsed: 1
-    integer_cst 32 - decl size 2
-    integer_type - var type 2
+    integer_cst 32 3 - decl size 2
+    integer_type 3 - var type 2
     - precisionBits: 32
     - signed
-     type_decl int - type name
-     integer_cst 32 - type size
-     integer_cst -2147483648 - min value
-     integer_cst 2147483647 - max value
-   var_decl ptr3 test20.c 64:19 - block vars
+     type_decl int 2 - type name
+     integer_cst 32 2 - type size
+     integer_cst -2147483648 2 - min value
+     integer_cst 2147483647 2 - max value
+   var_decl ptr3 test20.c 64:19 2147483644 - block vars
    - isUsed: 1
-    integer_cst 64 - decl size 2
+    integer_cst 64 3 - decl size 2
     - isUsed: 1
-    parm_decl ptr1 test20.c 55:25 - initial 2
-     pointer_type - decl type
-      record_type - nested type
-       identifier_node Data1 - type name
-       field_decl val test20.c 3:9 - field
+    parm_decl ptr1 test20.c 55:25 3 - initial 2
+     pointer_type 2 - decl type
+      record_type 1 - nested type
+       identifier_node Data1 0 - type name
+       field_decl val test20.c 3:9 0 - field
        - signed
-        integer_cst 32 - decl size
-        integer_type - field type
+        integer_cst 32 0 - decl size
+        integer_type 0 - field type
         - precisionBits: 32
         - signed
-     integer_cst 64 - parm size
-    pointer_type - var type 2
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+     integer_cst 64 2 - parm size
+    pointer_type 3 - var type 2
+     record_type 2 - nested type
+      identifier_node Data1 1 - type name
+      field_decl val test20.c 3:9 1 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 0 - decl size
+       integer_type 0 - field type
        - precisionBits: 32
        - signed
-function_decl func8 test20.c 70:5
+function_decl func8 test20.c 70:5 2147483647
 - isPublic: 1
- function_type - function type
-  integer_type - function return type
+ function_type 2147483646 - function type
+  integer_type 2147483645 - function return type
   - precisionBits: 32
   - signed
-   type_decl int - type name
-   integer_cst 32 - type size
-   integer_cst -2147483648 - min value
-   integer_cst 2147483647 - max value
-  tree_list - arg types
-   pointer_type - value
-    record_type - nested type
-     identifier_node Data1 - type name
-     field_decl val test20.c 3:9 - field
+   type_decl int 2147483644 - type name
+   integer_cst 32 2147483644 - type size
+   integer_cst -2147483648 2147483644 - min value
+   integer_cst 2147483647 2147483644 - max value
+  tree_list 2147483645 - arg types
+   pointer_type 2147483644 - value
+    record_type 3 - nested type
+     identifier_node Data1 2 - type name
+     field_decl val test20.c 3:9 2 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 1 - decl size
+      integer_type 1 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-   tree_list - chain
-    pointer_type - value
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+       type_decl int 0 - type name
+       integer_cst 32 0 - type size
+       integer_cst -2147483648 0 - min value
+       integer_cst 2147483647 0 - max value
+   tree_list 2147483644 - chain
+    pointer_type 2147483643 - value
+     record_type 3 - nested type
+      identifier_node Data1 2 - type name
+      field_decl val test20.c 3:9 2 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 1 - decl size
+       integer_type 1 - field type
        - precisionBits: 32
        - signed
-        type_decl int - type name
-        integer_cst 32 - type size
-        integer_cst -2147483648 - min value
-        integer_cst 2147483647 - max value
-    tree_list - chain
-     void_type - value
-      type_decl void - type name
- result_decl test20.c 70:5 - function result
+        type_decl int 0 - type name
+        integer_cst 32 0 - type size
+        integer_cst -2147483648 0 - min value
+        integer_cst 2147483647 0 - max value
+    tree_list 2147483643 - chain
+     void_type 2147483642 - value
+      type_decl void 2147483641 - type name
+ result_decl test20.c 70:5 2147483646 - function result
  - isAutogenerated: 1
-  integer_type - result type
+  integer_type 2147483645 - result type
   - precisionBits: 32
   - signed
-   type_decl int - type name
-   integer_cst 32 - type size
-   integer_cst -2147483648 - min value
-   integer_cst 2147483647 - max value
-  integer_cst 32 - decl size
+   type_decl int 2147483644 - type name
+   integer_cst 32 2147483644 - type size
+   integer_cst -2147483648 2147483644 - min value
+   integer_cst 2147483647 2147483644 - max value
+  integer_cst 32 2147483645 - decl size
  - isUsed: 1
- parm_decl ptr1 test20.c 70:25 - argument
-  pointer_type - decl type
-   record_type - nested type
-    identifier_node Data1 - type name
-    field_decl val test20.c 3:9 - field
+ parm_decl ptr1 test20.c 70:25 2147483646 - argument
+  pointer_type 2147483645 - decl type
+   record_type 3 - nested type
+    identifier_node Data1 2 - type name
+    field_decl val test20.c 3:9 2 - field
     - signed
-     integer_cst 32 - decl size
-     integer_type - field type
+     integer_cst 32 1 - decl size
+     integer_type 1 - field type
      - precisionBits: 32
      - signed
-      type_decl int - type name
-      integer_cst 32 - type size
-      integer_cst -2147483648 - min value
-      integer_cst 2147483647 - max value
-  integer_cst 64 - parm size
- parm_decl ptr2 test20.c 70:45 - argument
-  pointer_type - decl type
-   record_type - nested type
-    identifier_node Data1 - type name
-    field_decl val test20.c 3:9 - field
+      type_decl int 0 - type name
+      integer_cst 32 0 - type size
+      integer_cst -2147483648 0 - min value
+      integer_cst 2147483647 0 - max value
+  integer_cst 64 2147483645 - parm size
+ parm_decl ptr2 test20.c 70:45 2147483646 - argument
+  pointer_type 2147483645 - decl type
+   record_type 3 - nested type
+    identifier_node Data1 2 - type name
+    field_decl val test20.c 3:9 2 - field
     - signed
-     integer_cst 32 - decl size
-     integer_type - field type
+     integer_cst 32 1 - decl size
+     integer_type 1 - field type
      - precisionBits: 32
      - signed
-      type_decl int - type name
-      integer_cst 32 - type size
-      integer_cst -2147483648 - min value
-      integer_cst 2147483647 - max value
-  integer_cst 64 - parm size
- bind_expr test20.c 71:1 - code
-  var_decl c test20.c 72:9 - operand
+      type_decl int 0 - type name
+      integer_cst 32 0 - type size
+      integer_cst -2147483648 0 - min value
+      integer_cst 2147483647 0 - max value
+  integer_cst 64 2147483645 - parm size
+ bind_expr test20.c 71:1 2147483646 - code
+  var_decl c test20.c 72:9 2147483645 - operand
   - isUsed: 1
-   integer_cst 32 - decl size
-   integer_type - var type
+   integer_cst 32 2147483644 - decl size
+   integer_type 2147483644 - var type
    - precisionBits: 32
    - signed
-    type_decl int - type name
-    integer_cst 32 - type size
-    integer_cst -2147483648 - min value
-    integer_cst 2147483647 - max value
-  statement_list - operand
-   decl_expr test20.c 72:9 - statement
-    var_decl c test20.c 72:9 - operand
+    type_decl int 2147483643 - type name
+    integer_cst 32 2147483643 - type size
+    integer_cst -2147483648 2147483643 - min value
+    integer_cst 2147483647 2147483643 - max value
+  statement_list 2147483645 - operand
+   decl_expr test20.c 72:9 2147483644 - statement
+    var_decl c test20.c 72:9 2147483643 - operand
     - isUsed: 1
-     integer_cst 32 - decl size 2
-     integer_type - var type 2
+     integer_cst 32 3 - decl size 2
+     integer_type 3 - var type 2
      - precisionBits: 32
      - signed
-      type_decl int - type name
-      integer_cst 32 - type size
-      integer_cst -2147483648 - min value
-      integer_cst 2147483647 - max value
-   cond_expr test20.c 73:8 - statement
-    ne_expr test20.c 73:11 - operand
-     var_decl k test20.c 6:5 - operand
+      type_decl int 2 - type name
+      integer_cst 32 2 - type size
+      integer_cst -2147483648 2 - min value
+      integer_cst 2147483647 2 - max value
+   cond_expr test20.c 73:8 2147483644 - statement
+    ne_expr test20.c 73:11 2147483643 - operand
+     var_decl k test20.c 6:5 2147483642 - operand
      - isUsed: 1
-      integer_cst 32 - decl size
-      integer_type - var type
+      integer_cst 32 2147483641 - decl size
+      integer_type 2147483641 - var type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-     var_decl c test20.c 72:9 - operand
+       type_decl int 2147483640 - type name
+       integer_cst 32 2147483640 - type size
+       integer_cst -2147483648 2147483640 - min value
+       integer_cst 2147483647 2147483640 - max value
+     var_decl c test20.c 72:9 2147483642 - operand
      - isUsed: 1
-      integer_cst 32 - decl size 2
-      integer_type - var type 2
+      integer_cst 32 3 - decl size 2
+      integer_type 3 - var type 2
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-    cond_expr test20.c 75:12 - operand
-     ne_expr test20.c 75:13 - operand
+       type_decl int 2 - type name
+       integer_cst 32 2 - type size
+       integer_cst -2147483648 2 - min value
+       integer_cst 2147483647 2 - max value
+    cond_expr test20.c 75:12 2147483643 - operand
+     ne_expr test20.c 75:13 2147483642 - operand
       - isUsed: 1
-      parm_decl ptr1 test20.c 70:25 - operand
-       pointer_type - decl type
-        record_type - nested type
-         identifier_node Data1 - type name
-         field_decl val test20.c 3:9 - field
+      parm_decl ptr1 test20.c 70:25 2147483641 - operand
+       pointer_type 2147483640 - decl type
+        record_type 3 - nested type
+         identifier_node Data1 2 - type name
+         field_decl val test20.c 3:9 2 - field
          - signed
-          integer_cst 32 - decl size
-          integer_type - field type
+          integer_cst 32 1 - decl size
+          integer_type 1 - field type
           - precisionBits: 32
           - signed
-           type_decl int - type name
-           integer_cst 32 - type size
-           integer_cst -2147483648 - min value
-           integer_cst 2147483647 - max value
-       integer_cst 64 - parm size
-      integer_cst 0 - operand
-     return_expr test20.c 76:20 - operand
-      modify_expr test20.c 76:20 - operand
-       result_decl test20.c 70:5 - operand
+           type_decl int 0 - type name
+           integer_cst 32 0 - type size
+           integer_cst -2147483648 0 - min value
+           integer_cst 2147483647 0 - max value
+       integer_cst 64 2147483640 - parm size
+      integer_cst 0 2147483641 - operand
+     return_expr test20.c 76:20 2147483642 - operand
+      modify_expr test20.c 76:20 2147483641 - operand
+       result_decl test20.c 70:5 2147483640 - operand
        - isAutogenerated: 1
-        integer_type - result type
+        integer_type 2147483639 - result type
         - precisionBits: 32
         - signed
-         type_decl int - type name
-         integer_cst 32 - type size
-         integer_cst -2147483648 - min value
-         integer_cst 2147483647 - max value
-        integer_cst 32 - decl size
-       integer_cst 0 - operand
-   decl_expr test20.c 79:19 - statement
-    var_decl ptr3 test20.c 79:19 - operand
+         type_decl int 2147483638 - type name
+         integer_cst 32 2147483638 - type size
+         integer_cst -2147483648 2147483638 - min value
+         integer_cst 2147483647 2147483638 - max value
+        integer_cst 32 2147483639 - decl size
+       integer_cst 0 2147483640 - operand
+   decl_expr test20.c 79:19 2147483644 - statement
+    var_decl ptr3 test20.c 79:19 2147483643 - operand
     - isUsed: 1
-     integer_cst 64 - decl size
+     integer_cst 64 2147483642 - decl size
      - isUsed: 1
-     parm_decl ptr1 test20.c 70:25 - initial
-      pointer_type - decl type
-       record_type - nested type
-        identifier_node Data1 - type name
-        field_decl val test20.c 3:9 - field
+     parm_decl ptr1 test20.c 70:25 5 - initial
+      pointer_type 4 - decl type
+       record_type 3 - nested type
+        identifier_node Data1 2 - type name
+        field_decl val test20.c 3:9 2 - field
         - signed
-         integer_cst 32 - decl size
-         integer_type - field type
+         integer_cst 32 1 - decl size
+         integer_type 1 - field type
          - precisionBits: 32
          - signed
-          type_decl int - type name
-          integer_cst 32 - type size
-          integer_cst -2147483648 - min value
-          integer_cst 2147483647 - max value
-      integer_cst 64 - parm size
-     pointer_type - var type
-      record_type - nested type
-       identifier_node Data1 - type name
-       field_decl val test20.c 3:9 - field
+          type_decl int 0 - type name
+          integer_cst 32 0 - type size
+          integer_cst -2147483648 0 - min value
+          integer_cst 2147483647 0 - max value
+      integer_cst 64 4 - parm size
+     pointer_type 2147483642 - var type
+      record_type 3 - nested type
+       identifier_node Data1 2 - type name
+       field_decl val test20.c 3:9 2 - field
        - signed
-        integer_cst 32 - decl size
-        integer_type - field type
+        integer_cst 32 1 - decl size
+        integer_type 1 - field type
         - precisionBits: 32
         - signed
-         type_decl int - type name
-         integer_cst 32 - type size
-         integer_cst -2147483648 - min value
-         integer_cst 2147483647 - max value
-   modify_expr test20.c 81:15 - statement
-    component_ref test20.c 81:9 - operand
-     indirect_ref test20.c 81:9 - object
+         type_decl int 0 - type name
+         integer_cst 32 0 - type size
+         integer_cst -2147483648 0 - min value
+         integer_cst 2147483647 0 - max value
+   modify_expr test20.c 81:15 2147483644 - statement
+    component_ref test20.c 81:9 2147483643 - operand
+     indirect_ref test20.c 81:9 2147483642 - object
       - isUsed: 1
-      parm_decl ptr1 test20.c 70:25 - ref
-       pointer_type - decl type
-        record_type - nested type
-         identifier_node Data1 - type name
-         field_decl val test20.c 3:9 - field
+      parm_decl ptr1 test20.c 70:25 2147483641 - ref
+       pointer_type 2147483640 - decl type
+        record_type 3 - nested type
+         identifier_node Data1 2 - type name
+         field_decl val test20.c 3:9 2 - field
          - signed
-          integer_cst 32 - decl size
-          integer_type - field type
+          integer_cst 32 1 - decl size
+          integer_type 1 - field type
           - precisionBits: 32
           - signed
-           type_decl int - type name
-           integer_cst 32 - type size
-           integer_cst -2147483648 - min value
-           integer_cst 2147483647 - max value
-       integer_cst 64 - parm size
-     field_decl val test20.c 3:9 - field
+           type_decl int 0 - type name
+           integer_cst 32 0 - type size
+           integer_cst -2147483648 0 - min value
+           integer_cst 2147483647 0 - max value
+       integer_cst 64 2147483640 - parm size
+     field_decl val test20.c 3:9 2147483642 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 2147483641 - decl size
+      integer_type 5 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-    integer_cst 100 - operand
-   modify_expr test20.c 82:15 - statement
-    component_ref test20.c 82:9 - operand
-     indirect_ref test20.c 82:9 - object
-      var_decl ptr3 test20.c 79:19 - ref
+       type_decl int 4 - type name
+       integer_cst 32 4 - type size
+       integer_cst -2147483648 4 - min value
+       integer_cst 2147483647 4 - max value
+    integer_cst 100 2147483643 - operand
+   modify_expr test20.c 82:15 2147483644 - statement
+    component_ref test20.c 82:9 2147483643 - operand
+     indirect_ref test20.c 82:9 2147483642 - object
+      var_decl ptr3 test20.c 79:19 2147483641 - ref
       - isUsed: 1
-       integer_cst 64 - decl size 2
+       integer_cst 64 3 - decl size 2
        - isUsed: 1
-       parm_decl ptr1 test20.c 70:25 - initial 2
-        pointer_type - decl type
-         record_type - nested type
-          identifier_node Data1 - type name
-          field_decl val test20.c 3:9 - field
+       parm_decl ptr1 test20.c 70:25 3 - initial 2
+        pointer_type 2 - decl type
+         record_type 1 - nested type
+          identifier_node Data1 0 - type name
+          field_decl val test20.c 3:9 0 - field
           - signed
-           integer_cst 32 - decl size
-           integer_type - field type
+           integer_cst 32 0 - decl size
+           integer_type 0 - field type
            - precisionBits: 32
            - signed
-        integer_cst 64 - parm size
-       pointer_type - var type 2
-        record_type - nested type
-         identifier_node Data1 - type name
-         field_decl val test20.c 3:9 - field
+        integer_cst 64 2 - parm size
+       pointer_type 3 - var type 2
+        record_type 2 - nested type
+         identifier_node Data1 1 - type name
+         field_decl val test20.c 3:9 1 - field
          - signed
-          integer_cst 32 - decl size
-          integer_type - field type
+          integer_cst 32 0 - decl size
+          integer_type 0 - field type
           - precisionBits: 32
           - signed
-     field_decl val test20.c 3:9 - field
+     field_decl val test20.c 3:9 2147483642 - field
      - signed
-      integer_cst 32 - decl size
-      integer_type - field type
+      integer_cst 32 2147483641 - decl size
+      integer_type 5 - field type
       - precisionBits: 32
       - signed
-       type_decl int - type name
-       integer_cst 32 - type size
-       integer_cst -2147483648 - min value
-       integer_cst 2147483647 - max value
-    integer_cst 200 - operand
-  block - operand
-   var_decl c test20.c 72:9 - block vars
+       type_decl int 4 - type name
+       integer_cst 32 4 - type size
+       integer_cst -2147483648 4 - min value
+       integer_cst 2147483647 4 - max value
+    integer_cst 200 2147483643 - operand
+  block 2147483645 - operand
+   var_decl c test20.c 72:9 2147483644 - block vars
    - isUsed: 1
-    integer_cst 32 - decl size 2
-    integer_type - var type 2
+    integer_cst 32 3 - decl size 2
+    integer_type 3 - var type 2
     - precisionBits: 32
     - signed
-     type_decl int - type name
-     integer_cst 32 - type size
-     integer_cst -2147483648 - min value
-     integer_cst 2147483647 - max value
-   var_decl ptr3 test20.c 79:19 - block vars
+     type_decl int 2 - type name
+     integer_cst 32 2 - type size
+     integer_cst -2147483648 2 - min value
+     integer_cst 2147483647 2 - max value
+   var_decl ptr3 test20.c 79:19 2147483644 - block vars
    - isUsed: 1
-    integer_cst 64 - decl size 2
+    integer_cst 64 3 - decl size 2
     - isUsed: 1
-    parm_decl ptr1 test20.c 70:25 - initial 2
-     pointer_type - decl type
-      record_type - nested type
-       identifier_node Data1 - type name
-       field_decl val test20.c 3:9 - field
+    parm_decl ptr1 test20.c 70:25 3 - initial 2
+     pointer_type 2 - decl type
+      record_type 1 - nested type
+       identifier_node Data1 0 - type name
+       field_decl val test20.c 3:9 0 - field
        - signed
-        integer_cst 32 - decl size
-        integer_type - field type
+        integer_cst 32 0 - decl size
+        integer_type 0 - field type
         - precisionBits: 32
         - signed
-     integer_cst 64 - parm size
-    pointer_type - var type 2
-     record_type - nested type
-      identifier_node Data1 - type name
-      field_decl val test20.c 3:9 - field
+     integer_cst 64 2 - parm size
+    pointer_type 3 - var type 2
+     record_type 2 - nested type
+      identifier_node Data1 1 - type name
+      field_decl val test20.c 3:9 1 - field
       - signed
-       integer_cst 32 - decl size
-       integer_type - field type
+       integer_cst 32 0 - decl size
+       integer_type 0 - field type
        - precisionBits: 32
        - signed