X-Git-Url: https://git.liburcu.org/?p=urcu.git;a=blobdiff_plain;f=extras%2Fabi%2F0.11%2Fx86_64-pc-linux-gnu%2Fliburcu-cds.so.6.xml;fp=extras%2Fabi%2F0.11%2Fx86_64-pc-linux-gnu%2Fliburcu-cds.so.6.xml;h=5bad4df0a3d0209f4a84aa6ca14c8035859b2023;hp=6da0790a224d30f71ff54ecd770f12660db0b255;hb=2ff9a79db02e1c761fd0dab9fb8d961bab2f14b0;hpb=5feb4925c499625ba85b9976643f189a9355297c

diff --git a/extras/abi/0.11/x86_64-pc-linux-gnu/liburcu-cds.so.6.xml b/extras/abi/0.11/x86_64-pc-linux-gnu/liburcu-cds.so.6.xml
index 6da0790..5bad4df 100644
--- a/extras/abi/0.11/x86_64-pc-linux-gnu/liburcu-cds.so.6.xml
+++ b/extras/abi/0.11/x86_64-pc-linux-gnu/liburcu-cds.so.6.xml
@@ -1,6 +1,5 @@
 <abi-corpus architecture='elf-amd-x86_64' soname='liburcu-cds.so.6'>
   <elf-needed>
-    <dependency name='liburcu-common.so.6'/>
     <dependency name='libpthread.so.0'/>
     <dependency name='libc.so.6'/>
   </elf-needed>
@@ -13,6 +12,10 @@
     <elf-symbol name='__cds_lfs_pop_all' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
     <!-- _cds_lfht_new -->
     <elf-symbol name='_cds_lfht_new' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
+    <!-- _fini -->
+    <elf-symbol name='_fini' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
+    <!-- _init -->
+    <elf-symbol name='_init' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
     <!-- cds_lfht_add -->
     <elf-symbol name='cds_lfht_add' type='func-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
     <!-- cds_lfht_add_replace -->
@@ -119,36 +122,38 @@
     <elf-symbol name='cds_lfht_mm_order' size='32' type='object-type' binding='global-binding' visibility='default-visibility' is-defined='yes'/>
   </elf-variable-symbols>
   <abi-instr version='1.0' address-size='64' path='rculfqueue.c' comp-dir-path='src' language='LANG_C99'>
-    <!-- int -->
-    <type-decl name='int' size-in-bits='32' id='type-id-1'/>
-    <!-- void -->
-    <type-decl name='void' id='type-id-2'/>
     <!-- struct cds_lfq_node_rcu -->
-    <class-decl name='cds_lfq_node_rcu' size-in-bits='128' is-struct='yes' visibility='default' filepath='../include/urcu/rculfqueue.h' line='35' column='1' id='type-id-3'>
+    <class-decl name='cds_lfq_node_rcu' size-in-bits='128' is-struct='yes' visibility='default' filepath='../include/urcu/rculfqueue.h' line='35' column='1' id='type-id-1'>
       <data-member access='public' layout-offset-in-bits='0'>
         <!-- cds_lfq_node_rcu* cds_lfq_node_rcu::next -->
-        <var-decl name='next' type-id='type-id-4' visibility='default' filepath='../include/urcu/rculfqueue.h' line='36' column='1'/>
+        <var-decl name='next' type-id='type-id-2' visibility='default' filepath='../include/urcu/rculfqueue.h' line='36' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='64'>
         <!-- int cds_lfq_node_rcu::dummy -->
-        <var-decl name='dummy' type-id='type-id-1' visibility='default' filepath='../include/urcu/rculfqueue.h' line='37' column='1'/>
+        <var-decl name='dummy' type-id='type-id-3' visibility='default' filepath='../include/urcu/rculfqueue.h' line='37' column='1'/>
       </data-member>
     </class-decl>
+    <!-- cds_lfq_node_rcu* -->
+    <pointer-type-def type-id='type-id-1' size-in-bits='64' id='type-id-2'/>
+    <!-- int -->
+    <type-decl name='int' size-in-bits='32' id='type-id-3'/>
     <!-- struct cds_lfq_queue_rcu -->
-    <class-decl name='cds_lfq_queue_rcu' size-in-bits='192' is-struct='yes' visibility='default' filepath='../include/urcu/rculfqueue.h' line='40' column='1' id='type-id-5'>
+    <class-decl name='cds_lfq_queue_rcu' size-in-bits='192' is-struct='yes' visibility='default' filepath='../include/urcu/rculfqueue.h' line='40' column='1' id='type-id-4'>
       <data-member access='public' layout-offset-in-bits='0'>
         <!-- cds_lfq_node_rcu* cds_lfq_queue_rcu::head -->
-        <var-decl name='head' type-id='type-id-4' visibility='default' filepath='../include/urcu/rculfqueue.h' line='41' column='1'/>
+        <var-decl name='head' type-id='type-id-2' visibility='default' filepath='../include/urcu/rculfqueue.h' line='41' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='64'>
         <!-- cds_lfq_node_rcu* cds_lfq_queue_rcu::tail -->
-        <var-decl name='tail' type-id='type-id-4' visibility='default' filepath='../include/urcu/rculfqueue.h' line='41' column='1'/>
+        <var-decl name='tail' type-id='type-id-2' visibility='default' filepath='../include/urcu/rculfqueue.h' line='41' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='128'>
         <!-- void (rcu_head*, void (rcu_head*)*)* cds_lfq_queue_rcu::queue_call_rcu -->
-        <var-decl name='queue_call_rcu' type-id='type-id-6' visibility='default' filepath='../include/urcu/rculfqueue.h' line='42' column='1'/>
+        <var-decl name='queue_call_rcu' type-id='type-id-5' visibility='default' filepath='../include/urcu/rculfqueue.h' line='42' column='1'/>
       </data-member>
     </class-decl>
+    <!-- void -->
+    <type-decl name='void' id='type-id-6'/>
     <!-- struct rcu_head -->
     <class-decl name='rcu_head' size-in-bits='128' is-struct='yes' visibility='default' filepath='../include/urcu/call-rcu.h' line='57' column='1' id='type-id-7'>
       <data-member access='public' layout-offset-in-bits='0'>
@@ -167,72 +172,70 @@
         <var-decl name='next' type-id='type-id-10' visibility='default' filepath='../include/urcu/wfcqueue.h' line='60' column='1'/>
       </data-member>
     </class-decl>
-    <!-- cds_lfq_node_rcu* -->
-    <pointer-type-def type-id='type-id-3' size-in-bits='64' id='type-id-4'/>
-    <!-- cds_lfq_queue_rcu* -->
-    <pointer-type-def type-id='type-id-5' size-in-bits='64' id='type-id-11'/>
     <!-- cds_wfcq_node* -->
     <pointer-type-def type-id='type-id-8' size-in-bits='64' id='type-id-10'/>
     <!-- rcu_head* -->
-    <pointer-type-def type-id='type-id-7' size-in-bits='64' id='type-id-12'/>
+    <pointer-type-def type-id='type-id-7' size-in-bits='64' id='type-id-11'/>
     <!-- void (rcu_head*)* -->
-    <pointer-type-def type-id='type-id-13' size-in-bits='64' id='type-id-9'/>
+    <pointer-type-def type-id='type-id-12' size-in-bits='64' id='type-id-9'/>
     <!-- void (rcu_head*, void (rcu_head*)*)* -->
-    <pointer-type-def type-id='type-id-14' size-in-bits='64' id='type-id-6'/>
+    <pointer-type-def type-id='type-id-13' size-in-bits='64' id='type-id-5'/>
+    <!-- cds_lfq_queue_rcu* -->
+    <pointer-type-def type-id='type-id-4' size-in-bits='64' id='type-id-14'/>
     <!-- cds_lfq_node_rcu* cds_lfq_dequeue_rcu(cds_lfq_queue_rcu*) -->
     <function-decl name='cds_lfq_dequeue_rcu' mangled-name='cds_lfq_dequeue_rcu' filepath='src/rculfqueue.c' line='56' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfq_dequeue_rcu'>
       <!-- parameter of type 'cds_lfq_queue_rcu*' -->
-      <parameter type-id='type-id-11' name='q' filepath='src/rculfqueue.c' line='56' column='1'/>
+      <parameter type-id='type-id-14' name='q' filepath='src/rculfqueue.c' line='56' column='1'/>
       <!-- cds_lfq_node_rcu* -->
-      <return type-id='type-id-4'/>
+      <return type-id='type-id-2'/>
     </function-decl>
     <!-- void cds_lfq_enqueue_rcu(cds_lfq_queue_rcu*, cds_lfq_node_rcu*) -->
     <function-decl name='cds_lfq_enqueue_rcu' mangled-name='cds_lfq_enqueue_rcu' filepath='src/rculfqueue.c' line='50' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfq_enqueue_rcu'>
       <!-- parameter of type 'cds_lfq_queue_rcu*' -->
-      <parameter type-id='type-id-11' name='q' filepath='src/rculfqueue.c' line='50' column='1'/>
+      <parameter type-id='type-id-14' name='q' filepath='src/rculfqueue.c' line='50' column='1'/>
       <!-- parameter of type 'cds_lfq_node_rcu*' -->
-      <parameter type-id='type-id-4' name='node' filepath='src/rculfqueue.c' line='50' column='1'/>
+      <parameter type-id='type-id-2' name='node' filepath='src/rculfqueue.c' line='50' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- int cds_lfq_destroy_rcu(cds_lfq_queue_rcu*) -->
     <function-decl name='cds_lfq_destroy_rcu' mangled-name='cds_lfq_destroy_rcu' filepath='src/rculfqueue.c' line='45' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfq_destroy_rcu'>
       <!-- parameter of type 'cds_lfq_queue_rcu*' -->
-      <parameter type-id='type-id-11' name='q' filepath='src/rculfqueue.c' line='45' column='1'/>
+      <parameter type-id='type-id-14' name='q' filepath='src/rculfqueue.c' line='45' column='1'/>
       <!-- int -->
-      <return type-id='type-id-1'/>
+      <return type-id='type-id-3'/>
     </function-decl>
     <!-- void cds_lfq_init_rcu(cds_lfq_queue_rcu*, void (rcu_head*, void (rcu_head*)*)*) -->
     <function-decl name='cds_lfq_init_rcu' mangled-name='cds_lfq_init_rcu' filepath='src/rculfqueue.c' line='38' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfq_init_rcu'>
       <!-- parameter of type 'cds_lfq_queue_rcu*' -->
-      <parameter type-id='type-id-11' name='q' filepath='src/rculfqueue.c' line='38' column='1'/>
+      <parameter type-id='type-id-14' name='q' filepath='src/rculfqueue.c' line='38' column='1'/>
       <!-- parameter of type 'void (rcu_head*, void (rcu_head*)*)*' -->
-      <parameter type-id='type-id-6' name='queue_call_rcu' filepath='src/rculfqueue.c' line='39' column='1'/>
+      <parameter type-id='type-id-5' name='queue_call_rcu' filepath='src/rculfqueue.c' line='39' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- void cds_lfq_node_init_rcu(cds_lfq_node_rcu*) -->
     <function-decl name='cds_lfq_node_init_rcu' mangled-name='cds_lfq_node_init_rcu' filepath='src/rculfqueue.c' line='33' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfq_node_init_rcu'>
       <!-- parameter of type 'cds_lfq_node_rcu*' -->
-      <parameter type-id='type-id-4' name='node' filepath='src/rculfqueue.c' line='33' column='1'/>
+      <parameter type-id='type-id-2' name='node' filepath='src/rculfqueue.c' line='33' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- void (rcu_head*) -->
-    <function-type size-in-bits='64' id='type-id-13'>
+    <function-type size-in-bits='64' id='type-id-12'>
       <!-- parameter of type 'rcu_head*' -->
-      <parameter type-id='type-id-12'/>
+      <parameter type-id='type-id-11'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-type>
     <!-- void (rcu_head*, void (rcu_head*)*) -->
-    <function-type size-in-bits='64' id='type-id-14'>
+    <function-type size-in-bits='64' id='type-id-13'>
       <!-- parameter of type 'rcu_head*' -->
-      <parameter type-id='type-id-12'/>
+      <parameter type-id='type-id-11'/>
       <!-- parameter of type 'void (rcu_head*)*' -->
       <parameter type-id='type-id-9'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-type>
   </abi-instr>
   <abi-instr version='1.0' address-size='64' path='rculfstack.c' comp-dir-path='src' language='LANG_C99'>
@@ -243,6 +246,8 @@
         <var-decl name='next' type-id='type-id-16' visibility='default' filepath='../include/urcu/rculfstack.h' line='38' column='1'/>
       </data-member>
     </class-decl>
+    <!-- cds_lfs_node_rcu* -->
+    <pointer-type-def type-id='type-id-15' size-in-bits='64' id='type-id-16'/>
     <!-- struct cds_lfs_stack_rcu -->
     <class-decl name='cds_lfs_stack_rcu' size-in-bits='64' is-struct='yes' visibility='default' filepath='../include/urcu/rculfstack.h' line='41' column='1' id='type-id-17'>
       <data-member access='public' layout-offset-in-bits='0'>
@@ -250,8 +255,6 @@
         <var-decl name='head' type-id='type-id-16' visibility='default' filepath='../include/urcu/rculfstack.h' line='42' column='1'/>
       </data-member>
     </class-decl>
-    <!-- cds_lfs_node_rcu* -->
-    <pointer-type-def type-id='type-id-15' size-in-bits='64' id='type-id-16'/>
     <!-- cds_lfs_stack_rcu* -->
     <pointer-type-def type-id='type-id-17' size-in-bits='64' id='type-id-18'/>
     <!-- cds_lfs_node_rcu* cds_lfs_pop_rcu(cds_lfs_stack_rcu*) -->
@@ -268,248 +271,248 @@
       <!-- parameter of type 'cds_lfs_node_rcu*' -->
       <parameter type-id='type-id-16' name='node' filepath='src/rculfstack.c' line='48' column='1'/>
       <!-- int -->
-      <return type-id='type-id-1'/>
+      <return type-id='type-id-3'/>
     </function-decl>
     <!-- void cds_lfs_init_rcu(cds_lfs_stack_rcu*) -->
     <function-decl name='cds_lfs_init_rcu' mangled-name='cds_lfs_init_rcu' filepath='src/rculfstack.c' line='42' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfs_init_rcu'>
       <!-- parameter of type 'cds_lfs_stack_rcu*' -->
       <parameter type-id='type-id-18' name='s' filepath='src/rculfstack.c' line='42' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- void cds_lfs_node_init_rcu(cds_lfs_node_rcu*) -->
     <function-decl name='cds_lfs_node_init_rcu' mangled-name='cds_lfs_node_init_rcu' filepath='src/rculfstack.c' line='37' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfs_node_init_rcu'>
       <!-- parameter of type 'cds_lfs_node_rcu*' -->
       <parameter type-id='type-id-16' name='node' filepath='src/rculfstack.c' line='37' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
   </abi-instr>
   <abi-instr version='1.0' address-size='64' path='lfstack.c' comp-dir-path='src' language='LANG_C99'>
-
-    <!-- bool -->
-    <type-decl name='bool' size-in-bits='8' id='type-id-19'/>
-    <!-- char -->
-    <type-decl name='char' size-in-bits='8' id='type-id-20'/>
-    <!-- char[40] -->
-    <array-type-def dimensions='1' type-id='type-id-20' size-in-bits='320' id='type-id-21'>
-      <!-- <anonymous range>[40] -->
-      <subrange length='40' type-id='type-id-22' id='type-id-23'/>
-
-    </array-type-def>
-    <!-- long int -->
-    <type-decl name='long int' size-in-bits='64' id='type-id-24'/>
-    <!-- short int -->
-    <type-decl name='short int' size-in-bits='16' id='type-id-25'/>
-    <!-- unsigned int -->
-    <type-decl name='unsigned int' size-in-bits='32' id='type-id-26'/>
-    <!-- unsigned long int -->
-    <type-decl name='unsigned long int' size-in-bits='64' id='type-id-22'/>
     <!-- struct cds_lfs_head -->
-    <class-decl name='cds_lfs_head' size-in-bits='64' is-struct='yes' visibility='default' filepath='../include/urcu/lfstack.h' line='69' column='1' id='type-id-27'>
+    <class-decl name='cds_lfs_head' size-in-bits='64' is-struct='yes' visibility='default' filepath='../include/urcu/lfstack.h' line='69' column='1' id='type-id-19'>
       <data-member access='public' layout-offset-in-bits='0'>
         <!-- cds_lfs_node cds_lfs_head::node -->
-        <var-decl name='node' type-id='type-id-28' visibility='default' filepath='../include/urcu/lfstack.h' line='70' column='1'/>
+        <var-decl name='node' type-id='type-id-20' visibility='default' filepath='../include/urcu/lfstack.h' line='70' column='1'/>
       </data-member>
     </class-decl>
     <!-- struct cds_lfs_node -->
-    <class-decl name='cds_lfs_node' size-in-bits='64' is-struct='yes' visibility='default' filepath='../include/urcu/lfstack.h' line='59' column='1' id='type-id-28'>
+    <class-decl name='cds_lfs_node' size-in-bits='64' is-struct='yes' visibility='default' filepath='../include/urcu/lfstack.h' line='59' column='1' id='type-id-20'>
       <data-member access='public' layout-offset-in-bits='0'>
         <!-- cds_lfs_node* cds_lfs_node::next -->
-        <var-decl name='next' type-id='type-id-29' visibility='default' filepath='../include/urcu/lfstack.h' line='60' column='1'/>
+        <var-decl name='next' type-id='type-id-21' visibility='default' filepath='../include/urcu/lfstack.h' line='60' column='1'/>
       </data-member>
     </class-decl>
-    <!-- typedef __anonymous_union__ cds_lfs_stack_ptr_t -->
-    <typedef-decl name='cds_lfs_stack_ptr_t' type-id='type-id-30' filepath='../include/urcu/lfstack.h' line='90' column='1' id='type-id-31'/>
-    <!-- union {__cds_lfs_stack* _s; cds_lfs_stack* s;} -->
-    <union-decl name='__anonymous_union__' size-in-bits='64' is-anonymous='yes' visibility='default' filepath='../include/urcu/lfstack.h' line='87' column='1' id='type-id-30'>
+    <!-- cds_lfs_node* -->
+    <pointer-type-def type-id='type-id-20' size-in-bits='64' id='type-id-21'/>
+    <!-- cds_lfs_head* -->
+    <pointer-type-def type-id='type-id-19' size-in-bits='64' id='type-id-22'/>
+    <!-- union __anonymous_union__ -->
+    <union-decl name='__anonymous_union__' size-in-bits='64' is-anonymous='yes' visibility='default' filepath='../include/urcu/lfstack.h' line='87' column='1' id='type-id-23'>
       <data-member access='private'>
-        <!-- __cds_lfs_stack* _s -->
-        <var-decl name='_s' type-id='type-id-32' visibility='default' filepath='../include/urcu/lfstack.h' line='88' column='1'/>
+        <!-- __cds_lfs_stack* __anonymous_union__::_s -->
+        <var-decl name='_s' type-id='type-id-24' visibility='default' filepath='../include/urcu/lfstack.h' line='88' column='1'/>
       </data-member>
       <data-member access='private'>
-        <!-- cds_lfs_stack* s -->
-        <var-decl name='s' type-id='type-id-33' visibility='default' filepath='../include/urcu/lfstack.h' line='89' column='1'/>
+        <!-- cds_lfs_stack* __anonymous_union__::s -->
+        <var-decl name='s' type-id='type-id-25' visibility='default' filepath='../include/urcu/lfstack.h' line='89' column='1'/>
       </data-member>
     </union-decl>
     <!-- struct __cds_lfs_stack -->
-    <class-decl name='__cds_lfs_stack' size-in-bits='64' is-struct='yes' visibility='default' filepath='../include/urcu/lfstack.h' line='73' column='1' id='type-id-34'>
+    <class-decl name='__cds_lfs_stack' size-in-bits='64' is-struct='yes' visibility='default' filepath='../include/urcu/lfstack.h' line='73' column='1' id='type-id-26'>
       <data-member access='public' layout-offset-in-bits='0'>
         <!-- cds_lfs_head* __cds_lfs_stack::head -->
-        <var-decl name='head' type-id='type-id-35' visibility='default' filepath='../include/urcu/lfstack.h' line='74' column='1'/>
+        <var-decl name='head' type-id='type-id-22' visibility='default' filepath='../include/urcu/lfstack.h' line='74' column='1'/>
       </data-member>
     </class-decl>
+    <!-- __cds_lfs_stack* -->
+    <pointer-type-def type-id='type-id-26' size-in-bits='64' id='type-id-24'/>
     <!-- struct cds_lfs_stack -->
-    <class-decl name='cds_lfs_stack' size-in-bits='384' is-struct='yes' visibility='default' filepath='../include/urcu/lfstack.h' line='77' column='1' id='type-id-36'>
+    <class-decl name='cds_lfs_stack' size-in-bits='384' is-struct='yes' visibility='default' filepath='../include/urcu/lfstack.h' line='77' column='1' id='type-id-27'>
       <data-member access='public' layout-offset-in-bits='0'>
         <!-- cds_lfs_head* cds_lfs_stack::head -->
-        <var-decl name='head' type-id='type-id-35' visibility='default' filepath='../include/urcu/lfstack.h' line='78' column='1'/>
+        <var-decl name='head' type-id='type-id-22' visibility='default' filepath='../include/urcu/lfstack.h' line='78' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='64'>
         <!-- pthread_mutex_t cds_lfs_stack::lock -->
-        <var-decl name='lock' type-id='type-id-37' visibility='default' filepath='../include/urcu/lfstack.h' line='79' column='1'/>
+        <var-decl name='lock' type-id='type-id-28' visibility='default' filepath='../include/urcu/lfstack.h' line='79' column='1'/>
       </data-member>
     </class-decl>
-    <!-- typedef __anonymous_union__1 pthread_mutex_t -->
-    <typedef-decl name='pthread_mutex_t' type-id='type-id-38' filepath='/usr/include/bits/pthreadtypes.h' line='72' column='1' id='type-id-37'/>
-    <!-- union {__pthread_mutex_s __data; char __size[40]; long int __align;} -->
-    <union-decl name='__anonymous_union__1' size-in-bits='320' is-anonymous='yes' visibility='default' filepath='/usr/include/bits/pthreadtypes.h' line='67' column='1' id='type-id-38'>
+    <!-- union __anonymous_union__ -->
+    <union-decl name='__anonymous_union__' size-in-bits='320' is-anonymous='yes' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h' line='67' column='1' id='type-id-29'>
       <data-member access='private'>
-        <!-- __pthread_mutex_s __data -->
-        <var-decl name='__data' type-id='type-id-39' visibility='default' filepath='/usr/include/bits/pthreadtypes.h' line='69' column='1'/>
+        <!-- __pthread_mutex_s __anonymous_union__::__data -->
+        <var-decl name='__data' type-id='type-id-30' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h' line='69' column='1'/>
       </data-member>
       <data-member access='private'>
-        <!-- char __size[40] -->
-        <var-decl name='__size' type-id='type-id-21' visibility='default' filepath='/usr/include/bits/pthreadtypes.h' line='70' column='1'/>
+        <!-- char __anonymous_union__::__size[40] -->
+        <var-decl name='__size' type-id='type-id-31' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h' line='70' column='1'/>
       </data-member>
       <data-member access='private'>
-        <!-- long int __align -->
-        <var-decl name='__align' type-id='type-id-24' visibility='default' filepath='/usr/include/bits/pthreadtypes.h' line='71' column='1'/>
+        <!-- long int __anonymous_union__::__align -->
+        <var-decl name='__align' type-id='type-id-32' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h' line='71' column='1'/>
       </data-member>
     </union-decl>
     <!-- struct __pthread_mutex_s -->
-    <class-decl name='__pthread_mutex_s' size-in-bits='320' is-struct='yes' visibility='default' filepath='/usr/include/bits/struct_mutex.h' line='22' column='1' id='type-id-39'>
+    <class-decl name='__pthread_mutex_s' size-in-bits='320' is-struct='yes' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='118' column='1' id='type-id-30'>
       <data-member access='public' layout-offset-in-bits='0'>
         <!-- int __pthread_mutex_s::__lock -->
-        <var-decl name='__lock' type-id='type-id-1' visibility='default' filepath='/usr/include/bits/struct_mutex.h' line='24' column='1'/>
+        <var-decl name='__lock' type-id='type-id-3' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='120' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='32'>
         <!-- unsigned int __pthread_mutex_s::__count -->
-        <var-decl name='__count' type-id='type-id-26' visibility='default' filepath='/usr/include/bits/struct_mutex.h' line='25' column='1'/>
+        <var-decl name='__count' type-id='type-id-33' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='121' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='64'>
         <!-- int __pthread_mutex_s::__owner -->
-        <var-decl name='__owner' type-id='type-id-1' visibility='default' filepath='/usr/include/bits/struct_mutex.h' line='26' column='1'/>
+        <var-decl name='__owner' type-id='type-id-3' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='122' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='96'>
         <!-- unsigned int __pthread_mutex_s::__nusers -->
-        <var-decl name='__nusers' type-id='type-id-26' visibility='default' filepath='/usr/include/bits/struct_mutex.h' line='28' column='1'/>
+        <var-decl name='__nusers' type-id='type-id-33' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='124' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='128'>
         <!-- int __pthread_mutex_s::__kind -->
-        <var-decl name='__kind' type-id='type-id-1' visibility='default' filepath='/usr/include/bits/struct_mutex.h' line='32' column='1'/>
+        <var-decl name='__kind' type-id='type-id-3' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='148' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='160'>
         <!-- short int __pthread_mutex_s::__spins -->
-        <var-decl name='__spins' type-id='type-id-25' visibility='default' filepath='/usr/include/bits/struct_mutex.h' line='34' column='1'/>
+        <var-decl name='__spins' type-id='type-id-34' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='154' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='176'>
         <!-- short int __pthread_mutex_s::__elision -->
-        <var-decl name='__elision' type-id='type-id-25' visibility='default' filepath='/usr/include/bits/struct_mutex.h' line='35' column='1'/>
+        <var-decl name='__elision' type-id='type-id-34' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='154' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='192'>
         <!-- __pthread_list_t __pthread_mutex_s::__list -->
-        <var-decl name='__list' type-id='type-id-40' visibility='default' filepath='/usr/include/bits/struct_mutex.h' line='36' column='1'/>
+        <var-decl name='__list' type-id='type-id-35' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='155' column='1'/>
       </data-member>
     </class-decl>
-    <!-- typedef __pthread_internal_list __pthread_list_t -->
-    <typedef-decl name='__pthread_list_t' type-id='type-id-41' filepath='/usr/include/bits/thread-shared-types.h' line='53' column='1' id='type-id-40'/>
+    <!-- unsigned int -->
+    <type-decl name='unsigned int' size-in-bits='32' id='type-id-33'/>
+    <!-- short int -->
+    <type-decl name='short int' size-in-bits='16' id='type-id-34'/>
     <!-- struct __pthread_internal_list -->
-    <class-decl name='__pthread_internal_list' size-in-bits='128' is-struct='yes' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='49' column='1' id='type-id-41'>
+    <class-decl name='__pthread_internal_list' size-in-bits='128' is-struct='yes' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='82' column='1' id='type-id-36'>
       <data-member access='public' layout-offset-in-bits='0'>
         <!-- __pthread_internal_list* __pthread_internal_list::__prev -->
-        <var-decl name='__prev' type-id='type-id-42' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='51' column='1'/>
+        <var-decl name='__prev' type-id='type-id-37' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='84' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='64'>
         <!-- __pthread_internal_list* __pthread_internal_list::__next -->
-        <var-decl name='__next' type-id='type-id-42' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='52' column='1'/>
+        <var-decl name='__next' type-id='type-id-37' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='85' column='1'/>
       </data-member>
     </class-decl>
-    <!-- __cds_lfs_stack* -->
-    <pointer-type-def type-id='type-id-34' size-in-bits='64' id='type-id-32'/>
     <!-- __pthread_internal_list* -->
-    <pointer-type-def type-id='type-id-41' size-in-bits='64' id='type-id-42'/>
-    <!-- cds_lfs_head* -->
-    <pointer-type-def type-id='type-id-27' size-in-bits='64' id='type-id-35'/>
-    <!-- cds_lfs_node* -->
-    <pointer-type-def type-id='type-id-28' size-in-bits='64' id='type-id-29'/>
+    <pointer-type-def type-id='type-id-36' size-in-bits='64' id='type-id-37'/>
+    <!-- typedef __pthread_internal_list __pthread_list_t -->
+    <typedef-decl name='__pthread_list_t' type-id='type-id-36' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='86' column='1' id='type-id-35'/>
+    <!-- char -->
+    <type-decl name='char' size-in-bits='8' id='type-id-38'/>
+    <!-- unsigned long int -->
+    <type-decl name='unsigned long int' size-in-bits='64' id='type-id-39'/>
+
+    <!-- char[40] -->
+    <array-type-def dimensions='1' type-id='type-id-38' size-in-bits='320' id='type-id-31'>
+      <!-- <anonymous range>[40] -->
+      <subrange length='40' type-id='type-id-39' id='type-id-40'/>
+
+    </array-type-def>
+    <!-- long int -->
+    <type-decl name='long int' size-in-bits='64' id='type-id-32'/>
+    <!-- typedef __anonymous_union__ pthread_mutex_t -->
+    <typedef-decl name='pthread_mutex_t' type-id='type-id-29' filepath='/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h' line='72' column='1' id='type-id-28'/>
     <!-- cds_lfs_stack* -->
-    <pointer-type-def type-id='type-id-36' size-in-bits='64' id='type-id-33'/>
+    <pointer-type-def type-id='type-id-27' size-in-bits='64' id='type-id-25'/>
+    <!-- typedef __anonymous_union__ cds_lfs_stack_ptr_t -->
+    <typedef-decl name='cds_lfs_stack_ptr_t' type-id='type-id-23' filepath='../include/urcu/lfstack.h' line='90' column='1' id='type-id-41'/>
     <!-- cds_lfs_head* __cds_lfs_pop_all(cds_lfs_stack_ptr_t) -->
     <function-decl name='__cds_lfs_pop_all' mangled-name='__cds_lfs_pop_all' filepath='src/lfstack.c' line='88' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='__cds_lfs_pop_all'>
       <!-- parameter of type 'typedef cds_lfs_stack_ptr_t' -->
-      <parameter type-id='type-id-31' name='s' filepath='src/lfstack.c' line='88' column='1'/>
+      <parameter type-id='type-id-41' name='s' filepath='src/lfstack.c' line='88' column='1'/>
       <!-- cds_lfs_head* -->
-      <return type-id='type-id-35'/>
+      <return type-id='type-id-22'/>
     </function-decl>
     <!-- cds_lfs_node* __cds_lfs_pop(cds_lfs_stack_ptr_t) -->
     <function-decl name='__cds_lfs_pop' mangled-name='__cds_lfs_pop' filepath='src/lfstack.c' line='83' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='__cds_lfs_pop'>
       <!-- parameter of type 'typedef cds_lfs_stack_ptr_t' -->
-      <parameter type-id='type-id-31' name='s' filepath='src/lfstack.c' line='83' column='1'/>
+      <parameter type-id='type-id-41' name='s' filepath='src/lfstack.c' line='83' column='1'/>
       <!-- cds_lfs_node* -->
-      <return type-id='type-id-29'/>
+      <return type-id='type-id-21'/>
     </function-decl>
     <!-- void cds_lfs_pop_unlock(cds_lfs_stack*) -->
     <function-decl name='cds_lfs_pop_unlock' mangled-name='cds_lfs_pop_unlock' filepath='src/lfstack.c' line='78' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfs_pop_unlock'>
       <!-- parameter of type 'cds_lfs_stack*' -->
-      <parameter type-id='type-id-33' name='s' filepath='src/lfstack.c' line='78' column='1'/>
+      <parameter type-id='type-id-25' name='s' filepath='src/lfstack.c' line='78' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- void cds_lfs_pop_lock(cds_lfs_stack*) -->
     <function-decl name='cds_lfs_pop_lock' mangled-name='cds_lfs_pop_lock' filepath='src/lfstack.c' line='73' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfs_pop_lock'>
       <!-- parameter of type 'cds_lfs_stack*' -->
-      <parameter type-id='type-id-33' name='s' filepath='src/lfstack.c' line='73' column='1'/>
+      <parameter type-id='type-id-25' name='s' filepath='src/lfstack.c' line='78' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- cds_lfs_head* cds_lfs_pop_all_blocking(cds_lfs_stack*) -->
     <function-decl name='cds_lfs_pop_all_blocking' mangled-name='cds_lfs_pop_all_blocking' filepath='src/lfstack.c' line='68' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfs_pop_all_blocking'>
       <!-- parameter of type 'cds_lfs_stack*' -->
-      <parameter type-id='type-id-33' name='s' filepath='src/lfstack.c' line='68' column='1'/>
+      <parameter type-id='type-id-25' name='s' filepath='src/lfstack.c' line='68' column='1'/>
       <!-- cds_lfs_head* -->
-      <return type-id='type-id-35'/>
+      <return type-id='type-id-22'/>
     </function-decl>
     <!-- cds_lfs_node* cds_lfs_pop_blocking(cds_lfs_stack*) -->
     <function-decl name='cds_lfs_pop_blocking' mangled-name='cds_lfs_pop_blocking' filepath='src/lfstack.c' line='63' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfs_pop_blocking'>
       <!-- parameter of type 'cds_lfs_stack*' -->
-      <parameter type-id='type-id-33' name='s' filepath='src/lfstack.c' line='63' column='1'/>
+      <parameter type-id='type-id-25' name='s' filepath='src/lfstack.c' line='63' column='1'/>
       <!-- cds_lfs_node* -->
-      <return type-id='type-id-29'/>
+      <return type-id='type-id-21'/>
     </function-decl>
+    <!-- bool -->
+    <type-decl name='bool' size-in-bits='8' id='type-id-42'/>
     <!-- bool cds_lfs_push(cds_lfs_stack_ptr_t, cds_lfs_node*) -->
     <function-decl name='cds_lfs_push' mangled-name='cds_lfs_push' filepath='src/lfstack.c' line='58' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfs_push'>
       <!-- parameter of type 'typedef cds_lfs_stack_ptr_t' -->
-      <parameter type-id='type-id-31' name='s' filepath='src/lfstack.c' line='58' column='1'/>
+      <parameter type-id='type-id-41' name='s' filepath='src/lfstack.c' line='58' column='1'/>
       <!-- parameter of type 'cds_lfs_node*' -->
-      <parameter type-id='type-id-29' name='node' filepath='src/lfstack.c' line='58' column='1'/>
+      <parameter type-id='type-id-21' name='node' filepath='src/lfstack.c' line='58' column='1'/>
       <!-- bool -->
-      <return type-id='type-id-19'/>
+      <return type-id='type-id-42'/>
     </function-decl>
     <!-- bool cds_lfs_empty(cds_lfs_stack_ptr_t) -->
     <function-decl name='cds_lfs_empty' mangled-name='cds_lfs_empty' filepath='src/lfstack.c' line='53' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfs_empty'>
       <!-- parameter of type 'typedef cds_lfs_stack_ptr_t' -->
-      <parameter type-id='type-id-31' name='s' filepath='src/lfstack.c' line='53' column='1'/>
+      <parameter type-id='type-id-41' name='s' filepath='src/lfstack.c' line='53' column='1'/>
       <!-- bool -->
-      <return type-id='type-id-19'/>
+      <return type-id='type-id-42'/>
     </function-decl>
     <!-- void __cds_lfs_init(__cds_lfs_stack*) -->
     <function-decl name='__cds_lfs_init' mangled-name='__cds_lfs_init' filepath='src/lfstack.c' line='48' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='__cds_lfs_init'>
       <!-- parameter of type '__cds_lfs_stack*' -->
-      <parameter type-id='type-id-32' name='s' filepath='src/lfstack.c' line='48' column='1'/>
+      <parameter type-id='type-id-24' name='s' filepath='src/lfstack.c' line='48' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- void cds_lfs_destroy(cds_lfs_stack*) -->
     <function-decl name='cds_lfs_destroy' mangled-name='cds_lfs_destroy' filepath='src/lfstack.c' line='43' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfs_destroy'>
       <!-- parameter of type 'cds_lfs_stack*' -->
-      <parameter type-id='type-id-33' name='s' filepath='src/lfstack.c' line='43' column='1'/>
+      <parameter type-id='type-id-25' name='s' filepath='src/lfstack.c' line='78' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- void cds_lfs_init(cds_lfs_stack*) -->
     <function-decl name='cds_lfs_init' mangled-name='cds_lfs_init' filepath='src/lfstack.c' line='38' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfs_init'>
       <!-- parameter of type 'cds_lfs_stack*' -->
-      <parameter type-id='type-id-33' name='s' filepath='src/lfstack.c' line='38' column='1'/>
+      <parameter type-id='type-id-25' name='s' filepath='src/lfstack.c' line='78' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- void cds_lfs_node_init(cds_lfs_node*) -->
     <function-decl name='cds_lfs_node_init' mangled-name='cds_lfs_node_init' filepath='src/lfstack.c' line='33' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfs_node_init'>
       <!-- parameter of type 'cds_lfs_node*' -->
-      <parameter type-id='type-id-29' name='node' filepath='src/lfstack.c' line='33' column='1'/>
+      <parameter type-id='type-id-21' name='node' filepath='src/lfstack.c' line='33' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
   </abi-instr>
   <abi-instr version='1.0' address-size='64' path='workqueue.c' comp-dir-path='src' language='LANG_C99'>
@@ -525,7 +528,7 @@
       </data-member>
       <data-member access='public' layout-offset-in-bits='448'>
         <!-- unsigned long int urcu_workqueue::flags -->
-        <var-decl name='flags' type-id='type-id-22' visibility='default' filepath='src/workqueue.c' line='63' column='1'/>
+        <var-decl name='flags' type-id='type-id-39' visibility='default' filepath='src/workqueue.c' line='63' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='512'>
         <!-- int32_t urcu_workqueue::futex -->
@@ -533,7 +536,7 @@
       </data-member>
       <data-member access='public' layout-offset-in-bits='576'>
         <!-- unsigned long int urcu_workqueue::qlen -->
-        <var-decl name='qlen' type-id='type-id-22' visibility='default' filepath='src/workqueue.c' line='65' column='1'/>
+        <var-decl name='qlen' type-id='type-id-39' visibility='default' filepath='src/workqueue.c' line='65' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='640'>
         <!-- pthread_t urcu_workqueue::tid -->
@@ -541,11 +544,11 @@
       </data-member>
       <data-member access='public' layout-offset-in-bits='704'>
         <!-- int urcu_workqueue::cpu_affinity -->
-        <var-decl name='cpu_affinity' type-id='type-id-1' visibility='default' filepath='src/workqueue.c' line='67' column='1'/>
+        <var-decl name='cpu_affinity' type-id='type-id-3' visibility='default' filepath='src/workqueue.c' line='67' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='768'>
         <!-- unsigned long int urcu_workqueue::loop_count -->
-        <var-decl name='loop_count' type-id='type-id-22' visibility='default' filepath='src/workqueue.c' line='68' column='1'/>
+        <var-decl name='loop_count' type-id='type-id-39' visibility='default' filepath='src/workqueue.c' line='68' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='832'>
         <!-- void* urcu_workqueue::priv -->
@@ -595,140 +598,140 @@
       </data-member>
       <data-member access='public' layout-offset-in-bits='64'>
         <!-- pthread_mutex_t cds_wfcq_head::lock -->
-        <var-decl name='lock' type-id='type-id-37' visibility='default' filepath='../include/urcu/wfcqueue.h' line='74' column='1'/>
+        <var-decl name='lock' type-id='type-id-28' visibility='default' filepath='../include/urcu/wfcqueue.h' line='74' column='1'/>
       </data-member>
     </class-decl>
-    <!-- typedef __int32_t int32_t -->
-    <typedef-decl name='int32_t' type-id='type-id-50' filepath='/usr/include/bits/stdint-intn.h' line='26' column='1' id='type-id-46'/>
     <!-- typedef int __int32_t -->
-    <typedef-decl name='__int32_t' type-id='type-id-1' filepath='/usr/include/bits/types.h' line='41' column='1' id='type-id-50'/>
+    <typedef-decl name='__int32_t' type-id='type-id-3' filepath='/usr/include/x86_64-linux-gnu/bits/types.h' line='40' column='1' id='type-id-50'/>
+    <!-- typedef __int32_t int32_t -->
+    <typedef-decl name='int32_t' type-id='type-id-50' filepath='/usr/include/x86_64-linux-gnu/bits/stdint-intn.h' line='26' column='1' id='type-id-46'/>
     <!-- typedef unsigned long int pthread_t -->
-    <typedef-decl name='pthread_t' type-id='type-id-22' filepath='/usr/include/bits/pthreadtypes.h' line='27' column='1' id='type-id-47'/>
-    <!-- struct urcu_workqueue_completion -->
-    <class-decl name='urcu_workqueue_completion' size-in-bits='128' is-struct='yes' visibility='default' filepath='src/workqueue.c' line='79' column='1' id='type-id-51'>
-      <data-member access='public' layout-offset-in-bits='0'>
-        <!-- int urcu_workqueue_completion::barrier_count -->
-        <var-decl name='barrier_count' type-id='type-id-1' visibility='default' filepath='src/workqueue.c' line='80' column='1'/>
-      </data-member>
-      <data-member access='public' layout-offset-in-bits='32'>
-        <!-- int32_t urcu_workqueue_completion::futex -->
-        <var-decl name='futex' type-id='type-id-46' visibility='default' filepath='src/workqueue.c' line='81' column='1'/>
-      </data-member>
-      <data-member access='public' layout-offset-in-bits='64'>
-        <!-- urcu_ref urcu_workqueue_completion::ref -->
-        <var-decl name='ref' type-id='type-id-52' visibility='default' filepath='src/workqueue.c' line='82' column='1'/>
-      </data-member>
-    </class-decl>
-    <!-- struct urcu_ref -->
-    <class-decl name='urcu_ref' size-in-bits='64' is-struct='yes' visibility='default' filepath='../include/urcu/ref.h' line='23' column='1' id='type-id-52'>
-      <data-member access='public' layout-offset-in-bits='0'>
-        <!-- long int urcu_ref::refcount -->
-        <var-decl name='refcount' type-id='type-id-24' visibility='default' filepath='../include/urcu/ref.h' line='24' column='1'/>
-      </data-member>
-    </class-decl>
-    <!-- struct urcu_work -->
-    <class-decl name='urcu_work' size-in-bits='128' is-struct='yes' visibility='default' filepath='src/workqueue.h' line='53' column='1' id='type-id-53'>
-      <data-member access='public' layout-offset-in-bits='0'>
-        <!-- cds_wfcq_node urcu_work::next -->
-        <var-decl name='next' type-id='type-id-8' visibility='default' filepath='src/workqueue.h' line='54' column='1'/>
-      </data-member>
-      <data-member access='public' layout-offset-in-bits='64'>
-        <!-- void (urcu_work*)* urcu_work::func -->
-        <var-decl name='func' type-id='type-id-54' visibility='default' filepath='src/workqueue.h' line='55' column='1'/>
-      </data-member>
-    </class-decl>
-    <!-- urcu_work* -->
-    <pointer-type-def type-id='type-id-53' size-in-bits='64' id='type-id-55'/>
+    <typedef-decl name='pthread_t' type-id='type-id-39' filepath='/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h' line='27' column='1' id='type-id-47'/>
+    <!-- void* -->
+    <pointer-type-def type-id='type-id-6' size-in-bits='64' id='type-id-48'/>
     <!-- urcu_workqueue* -->
-    <pointer-type-def type-id='type-id-43' size-in-bits='64' id='type-id-56'/>
-    <!-- urcu_workqueue_completion* -->
-    <pointer-type-def type-id='type-id-51' size-in-bits='64' id='type-id-57'/>
-    <!-- void (urcu_work*)* -->
-    <pointer-type-def type-id='type-id-58' size-in-bits='64' id='type-id-54'/>
+    <pointer-type-def type-id='type-id-43' size-in-bits='64' id='type-id-51'/>
     <!-- void (urcu_workqueue*, void*)* -->
-    <pointer-type-def type-id='type-id-59' size-in-bits='64' id='type-id-49'/>
-    <!-- void* -->
-    <pointer-type-def type-id='type-id-2' size-in-bits='64' id='type-id-48'/>
+    <pointer-type-def type-id='type-id-52' size-in-bits='64' id='type-id-49'/>
     <!-- void urcu_workqueue_create_worker(urcu_workqueue*) -->
     <function-decl name='urcu_workqueue_create_worker' mangled-name='urcu_workqueue_create_worker' filepath='src/workqueue.c' line='458' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_workqueue_create_worker'>
       <!-- parameter of type 'urcu_workqueue*' -->
-      <parameter type-id='type-id-56' name='workqueue' filepath='src/workqueue.c' line='458' column='1'/>
+      <parameter type-id='type-id-51' name='workqueue' filepath='src/workqueue.c' line='458' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- void urcu_workqueue_resume_worker(urcu_workqueue*) -->
     <function-decl name='urcu_workqueue_resume_worker' mangled-name='urcu_workqueue_resume_worker' filepath='src/workqueue.c' line='451' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_workqueue_resume_worker'>
       <!-- parameter of type 'urcu_workqueue*' -->
-      <parameter type-id='type-id-56' name='workqueue' filepath='src/workqueue.c' line='451' column='1'/>
+      <parameter type-id='type-id-51' name='workqueue' filepath='src/workqueue.c' line='451' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- void urcu_workqueue_pause_worker(urcu_workqueue*) -->
     <function-decl name='urcu_workqueue_pause_worker' mangled-name='urcu_workqueue_pause_worker' filepath='src/workqueue.c' line='440' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_workqueue_pause_worker'>
       <!-- parameter of type 'urcu_workqueue*' -->
-      <parameter type-id='type-id-56' name='workqueue' filepath='src/workqueue.c' line='440' column='1'/>
+      <parameter type-id='type-id-51' name='workqueue' filepath='src/workqueue.c' line='451' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- void urcu_workqueue_flush_queued_work(urcu_workqueue*) -->
     <function-decl name='urcu_workqueue_flush_queued_work' mangled-name='urcu_workqueue_flush_queued_work' filepath='src/workqueue.c' line='427' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_workqueue_flush_queued_work'>
       <!-- parameter of type 'urcu_workqueue*' -->
-      <parameter type-id='type-id-56' name='workqueue' filepath='src/workqueue.c' line='427' column='1'/>
+      <parameter type-id='type-id-51' name='workqueue' filepath='src/workqueue.c' line='458' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
+    <!-- struct urcu_workqueue_completion -->
+    <class-decl name='urcu_workqueue_completion' size-in-bits='128' is-struct='yes' visibility='default' filepath='src/workqueue.c' line='79' column='1' id='type-id-53'>
+      <data-member access='public' layout-offset-in-bits='0'>
+        <!-- int urcu_workqueue_completion::barrier_count -->
+        <var-decl name='barrier_count' type-id='type-id-3' visibility='default' filepath='src/workqueue.c' line='80' column='1'/>
+      </data-member>
+      <data-member access='public' layout-offset-in-bits='32'>
+        <!-- int32_t urcu_workqueue_completion::futex -->
+        <var-decl name='futex' type-id='type-id-46' visibility='default' filepath='src/workqueue.c' line='81' column='1'/>
+      </data-member>
+      <data-member access='public' layout-offset-in-bits='64'>
+        <!-- urcu_ref urcu_workqueue_completion::ref -->
+        <var-decl name='ref' type-id='type-id-54' visibility='default' filepath='src/workqueue.c' line='82' column='1'/>
+      </data-member>
+    </class-decl>
+    <!-- struct urcu_ref -->
+    <class-decl name='urcu_ref' size-in-bits='64' is-struct='yes' visibility='default' filepath='../include/urcu/ref.h' line='23' column='1' id='type-id-54'>
+      <data-member access='public' layout-offset-in-bits='0'>
+        <!-- long int urcu_ref::refcount -->
+        <var-decl name='refcount' type-id='type-id-32' visibility='default' filepath='../include/urcu/ref.h' line='24' column='1'/>
+      </data-member>
+    </class-decl>
+    <!-- urcu_workqueue_completion* -->
+    <pointer-type-def type-id='type-id-53' size-in-bits='64' id='type-id-55'/>
     <!-- void urcu_workqueue_queue_completion(urcu_workqueue*, urcu_workqueue_completion*) -->
     <function-decl name='urcu_workqueue_queue_completion' mangled-name='urcu_workqueue_queue_completion' filepath='src/workqueue.c' line='410' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_workqueue_queue_completion'>
       <!-- parameter of type 'urcu_workqueue*' -->
-      <parameter type-id='type-id-56' name='workqueue' filepath='src/workqueue.c' line='410' column='1'/>
+      <parameter type-id='type-id-51' name='workqueue' filepath='src/workqueue.c' line='410' column='1'/>
       <!-- parameter of type 'urcu_workqueue_completion*' -->
-      <parameter type-id='type-id-57' name='completion' filepath='src/workqueue.c' line='411' column='1'/>
+      <parameter type-id='type-id-55' name='completion' filepath='src/workqueue.c' line='411' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- void urcu_workqueue_wait_completion(urcu_workqueue_completion*) -->
     <function-decl name='urcu_workqueue_wait_completion' mangled-name='urcu_workqueue_wait_completion' filepath='src/workqueue.c' line='397' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_workqueue_wait_completion'>
       <!-- parameter of type 'urcu_workqueue_completion*' -->
-      <parameter type-id='type-id-57' name='completion' filepath='src/workqueue.c' line='397' column='1'/>
+      <parameter type-id='type-id-55' name='completion' filepath='src/workqueue.c' line='397' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- void urcu_workqueue_destroy_completion(urcu_workqueue_completion*) -->
     <function-decl name='urcu_workqueue_destroy_completion' mangled-name='urcu_workqueue_destroy_completion' filepath='src/workqueue.c' line='392' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_workqueue_destroy_completion'>
       <!-- parameter of type 'urcu_workqueue_completion*' -->
-      <parameter type-id='type-id-57' name='completion' filepath='src/workqueue.c' line='392' column='1'/>
+      <parameter type-id='type-id-55' name='completion' filepath='src/workqueue.c' line='392' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- urcu_workqueue_completion* urcu_workqueue_create_completion() -->
     <function-decl name='urcu_workqueue_create_completion' mangled-name='urcu_workqueue_create_completion' filepath='src/workqueue.c' line='380' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_workqueue_create_completion'>
       <!-- urcu_workqueue_completion* -->
-      <return type-id='type-id-57'/>
+      <return type-id='type-id-55'/>
     </function-decl>
+    <!-- struct urcu_work -->
+    <class-decl name='urcu_work' size-in-bits='128' is-struct='yes' visibility='default' filepath='src/workqueue.h' line='53' column='1' id='type-id-56'>
+      <data-member access='public' layout-offset-in-bits='0'>
+        <!-- cds_wfcq_node urcu_work::next -->
+        <var-decl name='next' type-id='type-id-8' visibility='default' filepath='src/workqueue.h' line='54' column='1'/>
+      </data-member>
+      <data-member access='public' layout-offset-in-bits='64'>
+        <!-- void (urcu_work*)* urcu_work::func -->
+        <var-decl name='func' type-id='type-id-57' visibility='default' filepath='src/workqueue.h' line='55' column='1'/>
+      </data-member>
+    </class-decl>
+    <!-- urcu_work* -->
+    <pointer-type-def type-id='type-id-56' size-in-bits='64' id='type-id-58'/>
+    <!-- void (urcu_work*)* -->
+    <pointer-type-def type-id='type-id-59' size-in-bits='64' id='type-id-57'/>
     <!-- void urcu_workqueue_queue_work(urcu_workqueue*, urcu_work*, void (urcu_work*)*) -->
     <function-decl name='urcu_workqueue_queue_work' mangled-name='urcu_workqueue_queue_work' filepath='src/workqueue.c' line='346' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_workqueue_queue_work'>
       <!-- parameter of type 'urcu_workqueue*' -->
-      <parameter type-id='type-id-56' name='workqueue' filepath='src/workqueue.c' line='346' column='1'/>
+      <parameter type-id='type-id-51' name='workqueue' filepath='src/workqueue.c' line='346' column='1'/>
       <!-- parameter of type 'urcu_work*' -->
-      <parameter type-id='type-id-55' name='work' filepath='src/workqueue.c' line='347' column='1'/>
+      <parameter type-id='type-id-58' name='work' filepath='src/workqueue.c' line='347' column='1'/>
       <!-- parameter of type 'void (urcu_work*)*' -->
-      <parameter type-id='type-id-54' name='func' filepath='src/workqueue.c' line='348' column='1'/>
+      <parameter type-id='type-id-57' name='func' filepath='src/workqueue.c' line='348' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- void urcu_workqueue_destroy(urcu_workqueue*) -->
     <function-decl name='urcu_workqueue_destroy' mangled-name='urcu_workqueue_destroy' filepath='src/workqueue.c' line='334' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_workqueue_destroy'>
       <!-- parameter of type 'urcu_workqueue*' -->
-      <parameter type-id='type-id-56' name='workqueue' filepath='src/workqueue.c' line='334' column='1'/>
+      <parameter type-id='type-id-51' name='workqueue' filepath='src/workqueue.c' line='458' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- urcu_workqueue* urcu_workqueue_create(unsigned long int, int, void*, void (urcu_workqueue*, void*)*, void (urcu_workqueue*, void*)*, void (urcu_workqueue*, void*)*, void (urcu_workqueue*, void*)*, void (urcu_workqueue*, void*)*, void (urcu_workqueue*, void*)*, void (urcu_workqueue*, void*)*) -->
     <function-decl name='urcu_workqueue_create' mangled-name='urcu_workqueue_create' filepath='src/workqueue.c' line='269' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='urcu_workqueue_create'>
       <!-- parameter of type 'unsigned long int' -->
-      <parameter type-id='type-id-22' name='flags' filepath='src/workqueue.c' line='269' column='1'/>
+      <parameter type-id='type-id-39' name='flags' filepath='src/workqueue.c' line='269' column='1'/>
       <!-- parameter of type 'int' -->
-      <parameter type-id='type-id-1' name='cpu_affinity' filepath='src/workqueue.c' line='270' column='1'/>
+      <parameter type-id='type-id-3' name='cpu_affinity' filepath='src/workqueue.c' line='270' column='1'/>
       <!-- parameter of type 'void*' -->
       <parameter type-id='type-id-48' name='priv' filepath='src/workqueue.c' line='270' column='1'/>
       <!-- parameter of type 'void (urcu_workqueue*, void*)*' -->
@@ -746,727 +749,727 @@
       <!-- parameter of type 'void (urcu_workqueue*, void*)*' -->
       <parameter type-id='type-id-49' name='worker_after_resume_fct' filepath='src/workqueue.c' line='277' column='1'/>
       <!-- urcu_workqueue* -->
-      <return type-id='type-id-56'/>
+      <return type-id='type-id-51'/>
     </function-decl>
     <!-- void (urcu_work*) -->
-    <function-type size-in-bits='64' id='type-id-58'>
+    <function-type size-in-bits='64' id='type-id-59'>
       <!-- parameter of type 'urcu_work*' -->
-      <parameter type-id='type-id-55'/>
+      <parameter type-id='type-id-58'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-type>
     <!-- void (urcu_workqueue*, void*) -->
-    <function-type size-in-bits='64' id='type-id-59'>
+    <function-type size-in-bits='64' id='type-id-52'>
       <!-- parameter of type 'urcu_workqueue*' -->
-      <parameter type-id='type-id-56'/>
+      <parameter type-id='type-id-51'/>
       <!-- parameter of type 'void*' -->
       <parameter type-id='type-id-48'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-type>
   </abi-instr>
   <abi-instr version='1.0' address-size='64' path='rculfhash.c' comp-dir-path='src' language='LANG_C99'>
-
-
-
-    <!-- cds_lfht_node*[64] -->
-    <array-type-def dimensions='1' type-id='type-id-60' size-in-bits='4096' id='type-id-61'>
-      <!-- <anonymous range>[64] -->
-      <subrange length='64' type-id='type-id-22' id='type-id-62'/>
-
-    </array-type-def>
-    <!-- cds_lfht_node*[] -->
-    <array-type-def dimensions='1' type-id='type-id-60' size-in-bits='infinite' id='type-id-63'>
-      <!-- <anonymous range>[] -->
-      <subrange length='infinite' type-id='type-id-22' id='type-id-64'/>
-
-    </array-type-def>
-    <!-- char[56] -->
-    <array-type-def dimensions='1' type-id='type-id-20' size-in-bits='448' id='type-id-65'>
-      <!-- <anonymous range>[56] -->
-      <subrange length='56' type-id='type-id-22' id='type-id-66'/>
-
-    </array-type-def>
     <!-- struct cds_lfht -->
-    <class-decl name='cds_lfht' size-in-bits='5248' is-struct='yes' visibility='default' filepath='../src/rculfhash-internal.h' line='70' column='1' id='type-id-67'>
+    <class-decl name='cds_lfht' size-in-bits='5248' is-struct='yes' visibility='default' filepath='../src/rculfhash-internal.h' line='70' column='1' id='type-id-60'>
       <data-member access='public' layout-offset-in-bits='0'>
         <!-- unsigned long int cds_lfht::max_nr_buckets -->
-        <var-decl name='max_nr_buckets' type-id='type-id-22' visibility='default' filepath='../src/rculfhash-internal.h' line='72' column='1'/>
+        <var-decl name='max_nr_buckets' type-id='type-id-39' visibility='default' filepath='../src/rculfhash-internal.h' line='72' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='64'>
         <!-- const cds_lfht_mm_type* cds_lfht::mm -->
-        <var-decl name='mm' type-id='type-id-68' visibility='default' filepath='../src/rculfhash-internal.h' line='73' column='1'/>
+        <var-decl name='mm' type-id='type-id-61' visibility='default' filepath='../src/rculfhash-internal.h' line='73' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='128'>
         <!-- const rcu_flavor_struct* cds_lfht::flavor -->
-        <var-decl name='flavor' type-id='type-id-69' visibility='default' filepath='../src/rculfhash-internal.h' line='74' column='1'/>
+        <var-decl name='flavor' type-id='type-id-62' visibility='default' filepath='../src/rculfhash-internal.h' line='74' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='192'>
         <!-- long int cds_lfht::count -->
-        <var-decl name='count' type-id='type-id-24' visibility='default' filepath='../src/rculfhash-internal.h' line='76' column='1'/>
+        <var-decl name='count' type-id='type-id-32' visibility='default' filepath='../src/rculfhash-internal.h' line='76' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='256'>
         <!-- pthread_mutex_t cds_lfht::resize_mutex -->
-        <var-decl name='resize_mutex' type-id='type-id-37' visibility='default' filepath='../src/rculfhash-internal.h' line='85' column='1'/>
+        <var-decl name='resize_mutex' type-id='type-id-28' visibility='default' filepath='../src/rculfhash-internal.h' line='85' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='576'>
         <!-- pthread_attr_t* cds_lfht::resize_attr -->
-        <var-decl name='resize_attr' type-id='type-id-70' visibility='default' filepath='../src/rculfhash-internal.h' line='86' column='1'/>
+        <var-decl name='resize_attr' type-id='type-id-63' visibility='default' filepath='../src/rculfhash-internal.h' line='86' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='640'>
         <!-- unsigned int cds_lfht::in_progress_destroy -->
-        <var-decl name='in_progress_destroy' type-id='type-id-26' visibility='default' filepath='../src/rculfhash-internal.h' line='87' column='1'/>
+        <var-decl name='in_progress_destroy' type-id='type-id-33' visibility='default' filepath='../src/rculfhash-internal.h' line='87' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='704'>
         <!-- unsigned long int cds_lfht::resize_target -->
-        <var-decl name='resize_target' type-id='type-id-22' visibility='default' filepath='../src/rculfhash-internal.h' line='88' column='1'/>
+        <var-decl name='resize_target' type-id='type-id-39' visibility='default' filepath='../src/rculfhash-internal.h' line='88' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='768'>
         <!-- int cds_lfht::resize_initiated -->
-        <var-decl name='resize_initiated' type-id='type-id-1' visibility='default' filepath='../src/rculfhash-internal.h' line='89' column='1'/>
+        <var-decl name='resize_initiated' type-id='type-id-3' visibility='default' filepath='../src/rculfhash-internal.h' line='89' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='800'>
         <!-- int cds_lfht::flags -->
-        <var-decl name='flags' type-id='type-id-1' visibility='default' filepath='../src/rculfhash-internal.h' line='94' column='1'/>
+        <var-decl name='flags' type-id='type-id-3' visibility='default' filepath='../src/rculfhash-internal.h' line='94' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='832'>
         <!-- unsigned long int cds_lfht::min_alloc_buckets_order -->
-        <var-decl name='min_alloc_buckets_order' type-id='type-id-22' visibility='default' filepath='../src/rculfhash-internal.h' line='95' column='1'/>
+        <var-decl name='min_alloc_buckets_order' type-id='type-id-39' visibility='default' filepath='../src/rculfhash-internal.h' line='95' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='896'>
         <!-- unsigned long int cds_lfht::min_nr_alloc_buckets -->
-        <var-decl name='min_nr_alloc_buckets' type-id='type-id-22' visibility='default' filepath='../src/rculfhash-internal.h' line='96' column='1'/>
+        <var-decl name='min_nr_alloc_buckets' type-id='type-id-39' visibility='default' filepath='../src/rculfhash-internal.h' line='96' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='960'>
         <!-- ht_items_count* cds_lfht::split_count -->
-        <var-decl name='split_count' type-id='type-id-71' visibility='default' filepath='../src/rculfhash-internal.h' line='97' column='1'/>
+        <var-decl name='split_count' type-id='type-id-64' visibility='default' filepath='../src/rculfhash-internal.h' line='97' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='1024'>
         <!-- unsigned long int cds_lfht::size -->
-        <var-decl name='size' type-id='type-id-22' visibility='default' filepath='../src/rculfhash-internal.h' line='102' column='1'/>
+        <var-decl name='size' type-id='type-id-39' visibility='default' filepath='../src/rculfhash-internal.h' line='102' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='1088'>
         <!-- cds_lfht_node* (cds_lfht*, unsigned long int)* cds_lfht::bucket_at -->
-        <var-decl name='bucket_at' type-id='type-id-72' visibility='default' filepath='../src/rculfhash-internal.h' line='107' column='1'/>
+        <var-decl name='bucket_at' type-id='type-id-65' visibility='default' filepath='../src/rculfhash-internal.h' line='107' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='1152'>
-        <!-- union {cds_lfht_node* tbl_order[64]; cds_lfht_node* tbl_chunk[]; cds_lfht_node* tbl_mmap;} -->
-        <var-decl name='' type-id='type-id-73' visibility='default'/>
+        <!-- __anonymous_union__  -->
+        <var-decl name='' type-id='type-id-66' visibility='default'/>
       </data-member>
     </class-decl>
     <!-- struct cds_lfht_mm_type -->
-    <class-decl name='cds_lfht_mm_type' size-in-bits='256' is-struct='yes' visibility='default' filepath='../include/urcu/rculfhash.h' line='120' column='1' id='type-id-74'>
+    <class-decl name='cds_lfht_mm_type' size-in-bits='256' is-struct='yes' visibility='default' filepath='../include/urcu/rculfhash.h' line='120' column='1' id='type-id-67'>
       <data-member access='public' layout-offset-in-bits='0'>
         <!-- cds_lfht* (unsigned long int, unsigned long int)* cds_lfht_mm_type::alloc_cds_lfht -->
-        <var-decl name='alloc_cds_lfht' type-id='type-id-75' visibility='default' filepath='../include/urcu/rculfhash.h' line='121' column='1'/>
+        <var-decl name='alloc_cds_lfht' type-id='type-id-68' visibility='default' filepath='../include/urcu/rculfhash.h' line='121' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='64'>
-        <!-- void ()* cds_lfht_mm_type::alloc_bucket_table -->
-        <var-decl name='alloc_bucket_table' type-id='type-id-76' visibility='default' filepath='../include/urcu/rculfhash.h' line='123' column='1'/>
+        <!-- void (cds_lfht*, unsigned long int)* cds_lfht_mm_type::alloc_bucket_table -->
+        <var-decl name='alloc_bucket_table' type-id='type-id-69' visibility='default' filepath='../include/urcu/rculfhash.h' line='123' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='128'>
-        <!-- void ()* cds_lfht_mm_type::free_bucket_table -->
-        <var-decl name='free_bucket_table' type-id='type-id-76' visibility='default' filepath='../include/urcu/rculfhash.h' line='124' column='1'/>
+        <!-- void (cds_lfht*, unsigned long int)* cds_lfht_mm_type::free_bucket_table -->
+        <var-decl name='free_bucket_table' type-id='type-id-69' visibility='default' filepath='../include/urcu/rculfhash.h' line='124' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='192'>
         <!-- cds_lfht_node* (cds_lfht*, unsigned long int)* cds_lfht_mm_type::bucket_at -->
-        <var-decl name='bucket_at' type-id='type-id-72' visibility='default' filepath='../include/urcu/rculfhash.h' line='125' column='1'/>
+        <var-decl name='bucket_at' type-id='type-id-65' visibility='default' filepath='../include/urcu/rculfhash.h' line='125' column='1'/>
       </data-member>
     </class-decl>
+    <!-- cds_lfht* -->
+    <pointer-type-def type-id='type-id-60' size-in-bits='64' id='type-id-70'/>
+    <!-- cds_lfht* (unsigned long int, unsigned long int)* -->
+    <pointer-type-def type-id='type-id-71' size-in-bits='64' id='type-id-68'/>
+    <!-- void (cds_lfht*, unsigned long int)* -->
+    <pointer-type-def type-id='type-id-72' size-in-bits='64' id='type-id-69'/>
     <!-- struct cds_lfht_node -->
-    <class-decl name='cds_lfht_node' size-in-bits='128' is-struct='yes' visibility='default' filepath='../include/urcu/rculfhash.h' line='63' column='1' id='type-id-77'>
+    <class-decl name='cds_lfht_node' size-in-bits='128' is-struct='yes' visibility='default' filepath='../include/urcu/rculfhash.h' line='63' column='1' id='type-id-73'>
       <data-member access='public' layout-offset-in-bits='0'>
         <!-- cds_lfht_node* cds_lfht_node::next -->
-        <var-decl name='next' type-id='type-id-60' visibility='default' filepath='../include/urcu/rculfhash.h' line='64' column='1'/>
+        <var-decl name='next' type-id='type-id-74' visibility='default' filepath='../include/urcu/rculfhash.h' line='64' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='64'>
         <!-- unsigned long int cds_lfht_node::reverse_hash -->
-        <var-decl name='reverse_hash' type-id='type-id-22' visibility='default' filepath='../include/urcu/rculfhash.h' line='65' column='1'/>
+        <var-decl name='reverse_hash' type-id='type-id-39' visibility='default' filepath='../include/urcu/rculfhash.h' line='65' column='1'/>
       </data-member>
     </class-decl>
+    <!-- cds_lfht_node* -->
+    <pointer-type-def type-id='type-id-73' size-in-bits='64' id='type-id-74'/>
+    <!-- cds_lfht_node* (cds_lfht*, unsigned long int)* -->
+    <pointer-type-def type-id='type-id-75' size-in-bits='64' id='type-id-65'/>
+    <!-- const cds_lfht_mm_type -->
+    <qualified-type-def type-id='type-id-67' const='yes' id='type-id-76'/>
+    <!-- const cds_lfht_mm_type* -->
+    <pointer-type-def type-id='type-id-76' size-in-bits='64' id='type-id-61'/>
     <!-- struct rcu_flavor_struct -->
-    <class-decl name='rcu_flavor_struct' size-in-bits='896' is-struct='yes' visibility='default' filepath='../include/urcu/flavor.h' line='42' column='1' id='type-id-78'>
+    <class-decl name='rcu_flavor_struct' size-in-bits='896' is-struct='yes' visibility='default' filepath='../include/urcu/flavor.h' line='42' column='1' id='type-id-77'>
       <data-member access='public' layout-offset-in-bits='0'>
         <!-- void ()* rcu_flavor_struct::read_lock -->
-        <var-decl name='read_lock' type-id='type-id-79' visibility='default' filepath='../include/urcu/flavor.h' line='43' column='1'/>
+        <var-decl name='read_lock' type-id='type-id-78' visibility='default' filepath='../include/urcu/flavor.h' line='43' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='64'>
         <!-- void ()* rcu_flavor_struct::read_unlock -->
-        <var-decl name='read_unlock' type-id='type-id-79' visibility='default' filepath='../include/urcu/flavor.h' line='44' column='1'/>
+        <var-decl name='read_unlock' type-id='type-id-78' visibility='default' filepath='../include/urcu/flavor.h' line='44' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='128'>
         <!-- int ()* rcu_flavor_struct::read_ongoing -->
-        <var-decl name='read_ongoing' type-id='type-id-80' visibility='default' filepath='../include/urcu/flavor.h' line='45' column='1'/>
+        <var-decl name='read_ongoing' type-id='type-id-79' visibility='default' filepath='../include/urcu/flavor.h' line='45' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='192'>
         <!-- void ()* rcu_flavor_struct::read_quiescent_state -->
-        <var-decl name='read_quiescent_state' type-id='type-id-79' visibility='default' filepath='../include/urcu/flavor.h' line='46' column='1'/>
+        <var-decl name='read_quiescent_state' type-id='type-id-78' visibility='default' filepath='../include/urcu/flavor.h' line='46' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='256'>
         <!-- void (rcu_head*, void (rcu_head*)*)* rcu_flavor_struct::update_call_rcu -->
-        <var-decl name='update_call_rcu' type-id='type-id-6' visibility='default' filepath='../include/urcu/flavor.h' line='47' column='1'/>
+        <var-decl name='update_call_rcu' type-id='type-id-5' visibility='default' filepath='../include/urcu/flavor.h' line='47' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='320'>
         <!-- void ()* rcu_flavor_struct::update_synchronize_rcu -->
-        <var-decl name='update_synchronize_rcu' type-id='type-id-79' visibility='default' filepath='../include/urcu/flavor.h' line='49' column='1'/>
+        <var-decl name='update_synchronize_rcu' type-id='type-id-78' visibility='default' filepath='../include/urcu/flavor.h' line='49' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='384'>
         <!-- void (void (void*)*, void*)* rcu_flavor_struct::update_defer_rcu -->
-        <var-decl name='update_defer_rcu' type-id='type-id-81' visibility='default' filepath='../include/urcu/flavor.h' line='50' column='1'/>
+        <var-decl name='update_defer_rcu' type-id='type-id-80' visibility='default' filepath='../include/urcu/flavor.h' line='50' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='448'>
         <!-- void ()* rcu_flavor_struct::thread_offline -->
-        <var-decl name='thread_offline' type-id='type-id-79' visibility='default' filepath='../include/urcu/flavor.h' line='52' column='1'/>
+        <var-decl name='thread_offline' type-id='type-id-78' visibility='default' filepath='../include/urcu/flavor.h' line='52' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='512'>
         <!-- void ()* rcu_flavor_struct::thread_online -->
-        <var-decl name='thread_online' type-id='type-id-79' visibility='default' filepath='../include/urcu/flavor.h' line='53' column='1'/>
+        <var-decl name='thread_online' type-id='type-id-78' visibility='default' filepath='../include/urcu/flavor.h' line='53' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='576'>
         <!-- void ()* rcu_flavor_struct::register_thread -->
-        <var-decl name='register_thread' type-id='type-id-79' visibility='default' filepath='../include/urcu/flavor.h' line='54' column='1'/>
+        <var-decl name='register_thread' type-id='type-id-78' visibility='default' filepath='../include/urcu/flavor.h' line='54' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='640'>
         <!-- void ()* rcu_flavor_struct::unregister_thread -->
-        <var-decl name='unregister_thread' type-id='type-id-79' visibility='default' filepath='../include/urcu/flavor.h' line='55' column='1'/>
+        <var-decl name='unregister_thread' type-id='type-id-78' visibility='default' filepath='../include/urcu/flavor.h' line='55' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='704'>
         <!-- void ()* rcu_flavor_struct::barrier -->
-        <var-decl name='barrier' type-id='type-id-79' visibility='default' filepath='../include/urcu/flavor.h' line='57' column='1'/>
+        <var-decl name='barrier' type-id='type-id-78' visibility='default' filepath='../include/urcu/flavor.h' line='57' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='768'>
         <!-- void (urcu_atfork*)* rcu_flavor_struct::register_rculfhash_atfork -->
-        <var-decl name='register_rculfhash_atfork' type-id='type-id-82' visibility='default' filepath='../include/urcu/flavor.h' line='59' column='1'/>
+        <var-decl name='register_rculfhash_atfork' type-id='type-id-81' visibility='default' filepath='../include/urcu/flavor.h' line='59' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='832'>
         <!-- void (urcu_atfork*)* rcu_flavor_struct::unregister_rculfhash_atfork -->
-        <var-decl name='unregister_rculfhash_atfork' type-id='type-id-82' visibility='default' filepath='../include/urcu/flavor.h' line='60' column='1'/>
+        <var-decl name='unregister_rculfhash_atfork' type-id='type-id-81' visibility='default' filepath='../include/urcu/flavor.h' line='60' column='1'/>
       </data-member>
     </class-decl>
+    <!-- void ()* -->
+    <pointer-type-def type-id='type-id-82' size-in-bits='64' id='type-id-78'/>
+    <!-- int ()* -->
+    <pointer-type-def type-id='type-id-83' size-in-bits='64' id='type-id-79'/>
+    <!-- void (void*)* -->
+    <pointer-type-def type-id='type-id-84' size-in-bits='64' id='type-id-85'/>
+    <!-- void (void (void*)*, void*)* -->
+    <pointer-type-def type-id='type-id-86' size-in-bits='64' id='type-id-80'/>
     <!-- struct urcu_atfork -->
-    <class-decl name='urcu_atfork' size-in-bits='256' is-struct='yes' visibility='default' filepath='../include/urcu/flavor.h' line='32' column='1' id='type-id-83'>
+    <class-decl name='urcu_atfork' size-in-bits='256' is-struct='yes' visibility='default' filepath='../include/urcu/flavor.h' line='32' column='1' id='type-id-87'>
       <data-member access='public' layout-offset-in-bits='0'>
         <!-- void (void*)* urcu_atfork::before_fork -->
-        <var-decl name='before_fork' type-id='type-id-84' visibility='default' filepath='../include/urcu/flavor.h' line='33' column='1'/>
+        <var-decl name='before_fork' type-id='type-id-85' visibility='default' filepath='../include/urcu/flavor.h' line='33' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='64'>
         <!-- void (void*)* urcu_atfork::after_fork_parent -->
-        <var-decl name='after_fork_parent' type-id='type-id-84' visibility='default' filepath='../include/urcu/flavor.h' line='34' column='1'/>
+        <var-decl name='after_fork_parent' type-id='type-id-85' visibility='default' filepath='../include/urcu/flavor.h' line='34' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='128'>
         <!-- void (void*)* urcu_atfork::after_fork_child -->
-        <var-decl name='after_fork_child' type-id='type-id-84' visibility='default' filepath='../include/urcu/flavor.h' line='35' column='1'/>
+        <var-decl name='after_fork_child' type-id='type-id-85' visibility='default' filepath='../include/urcu/flavor.h' line='35' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='192'>
         <!-- void* urcu_atfork::priv -->
         <var-decl name='priv' type-id='type-id-48' visibility='default' filepath='../include/urcu/flavor.h' line='36' column='1'/>
       </data-member>
     </class-decl>
-    <!-- typedef pthread_attr_t pthread_attr_t -->
-    <typedef-decl name='pthread_attr_t' type-id='type-id-85' filepath='/usr/include/bits/pthreadtypes.h' line='62' column='1' id='type-id-86'/>
+    <!-- urcu_atfork* -->
+    <pointer-type-def type-id='type-id-87' size-in-bits='64' id='type-id-88'/>
+    <!-- void (urcu_atfork*)* -->
+    <pointer-type-def type-id='type-id-89' size-in-bits='64' id='type-id-81'/>
+    <!-- const rcu_flavor_struct -->
+    <qualified-type-def type-id='type-id-77' const='yes' id='type-id-90'/>
+    <!-- const rcu_flavor_struct* -->
+    <pointer-type-def type-id='type-id-90' size-in-bits='64' id='type-id-62'/>
     <!-- union pthread_attr_t -->
-    <union-decl name='pthread_attr_t' size-in-bits='448' visibility='default' filepath='/usr/include/bits/pthreadtypes.h' line='56' column='1' id='type-id-85'>
+    <union-decl name='pthread_attr_t' size-in-bits='448' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h' line='56' column='1' id='type-id-91'>
       <data-member access='private'>
         <!-- char pthread_attr_t::__size[56] -->
-        <var-decl name='__size' type-id='type-id-65' visibility='default' filepath='/usr/include/bits/pthreadtypes.h' line='58' column='1'/>
+        <var-decl name='__size' type-id='type-id-92' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h' line='58' column='1'/>
       </data-member>
       <data-member access='private'>
         <!-- long int pthread_attr_t::__align -->
-        <var-decl name='__align' type-id='type-id-24' visibility='default' filepath='/usr/include/bits/pthreadtypes.h' line='59' column='1'/>
+        <var-decl name='__align' type-id='type-id-32' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h' line='59' column='1'/>
       </data-member>
     </union-decl>
+
+    <!-- char[56] -->
+    <array-type-def dimensions='1' type-id='type-id-38' size-in-bits='448' id='type-id-92'>
+      <!-- <anonymous range>[56] -->
+      <subrange length='56' type-id='type-id-39' id='type-id-93'/>
+
+    </array-type-def>
+    <!-- typedef pthread_attr_t pthread_attr_t -->
+    <typedef-decl name='pthread_attr_t' type-id='type-id-91' filepath='/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h' line='62' column='1' id='type-id-94'/>
+    <!-- pthread_attr_t* -->
+    <pointer-type-def type-id='type-id-94' size-in-bits='64' id='type-id-63'/>
     <!-- struct ht_items_count -->
-    <class-decl name='ht_items_count' size-in-bits='1024' is-struct='yes' visibility='default' filepath='src/rculfhash.c' line='338' column='1' id='type-id-87'>
+    <class-decl name='ht_items_count' size-in-bits='1024' is-struct='yes' visibility='default' filepath='src/rculfhash.c' line='338' column='1' id='type-id-95'>
       <data-member access='public' layout-offset-in-bits='0'>
         <!-- unsigned long int ht_items_count::add -->
-        <var-decl name='add' type-id='type-id-22' visibility='default' filepath='src/rculfhash.c' line='339' column='1'/>
+        <var-decl name='add' type-id='type-id-39' visibility='default' filepath='src/rculfhash.c' line='339' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='64'>
         <!-- unsigned long int ht_items_count::del -->
-        <var-decl name='del' type-id='type-id-22' visibility='default' filepath='src/rculfhash.c' line='339' column='1'/>
+        <var-decl name='del' type-id='type-id-39' visibility='default' filepath='src/rculfhash.c' line='339' column='1'/>
       </data-member>
     </class-decl>
-    <!-- union {cds_lfht_node* tbl_order[64]; cds_lfht_node* tbl_chunk[]; cds_lfht_node* tbl_mmap;} -->
-    <union-decl name='__anonymous_union__' size-in-bits='4096' is-anonymous='yes' visibility='default' filepath='../src/rculfhash-internal.h' line='113' column='1' id='type-id-73'>
+    <!-- ht_items_count* -->
+    <pointer-type-def type-id='type-id-95' size-in-bits='64' id='type-id-64'/>
+    <!-- union __anonymous_union__ -->
+    <union-decl name='__anonymous_union__' size-in-bits='4096' is-anonymous='yes' visibility='default' filepath='../src/rculfhash-internal.h' line='113' column='1' id='type-id-66'>
       <data-member access='private'>
-        <!-- cds_lfht_node* tbl_order[64] -->
-        <var-decl name='tbl_order' type-id='type-id-61' visibility='default' filepath='../src/rculfhash-internal.h' line='122' column='1'/>
+        <!-- cds_lfht_node* __anonymous_union__::tbl_order[64] -->
+        <var-decl name='tbl_order' type-id='type-id-96' visibility='default' filepath='../src/rculfhash-internal.h' line='122' column='1'/>
       </data-member>
       <data-member access='private'>
-        <!-- cds_lfht_node* tbl_chunk[] -->
-        <var-decl name='tbl_chunk' type-id='type-id-63' visibility='default' filepath='../src/rculfhash-internal.h' line='134' column='1'/>
+        <!-- cds_lfht_node* __anonymous_union__::tbl_chunk[1] -->
+        <var-decl name='tbl_chunk' type-id='type-id-97' visibility='default' filepath='../src/rculfhash-internal.h' line='134' column='1'/>
       </data-member>
       <data-member access='private'>
-        <!-- cds_lfht_node* tbl_mmap -->
-        <var-decl name='tbl_mmap' type-id='type-id-60' visibility='default' filepath='../src/rculfhash-internal.h' line='140' column='1'/>
+        <!-- cds_lfht_node* __anonymous_union__::tbl_mmap -->
+        <var-decl name='tbl_mmap' type-id='type-id-74' visibility='default' filepath='../src/rculfhash-internal.h' line='140' column='1'/>
       </data-member>
     </union-decl>
-    <!-- struct cds_lfht_iter -->
-    <class-decl name='cds_lfht_iter' size-in-bits='128' is-struct='yes' visibility='default' filepath='../include/urcu/rculfhash.h' line='69' column='1' id='type-id-88'>
-      <data-member access='public' layout-offset-in-bits='0'>
-        <!-- cds_lfht_node* cds_lfht_iter::node -->
-        <var-decl name='node' type-id='type-id-60' visibility='default' filepath='../include/urcu/rculfhash.h' line='70' column='1'/>
-      </data-member>
-      <data-member access='public' layout-offset-in-bits='64'>
-        <!-- cds_lfht_node* cds_lfht_iter::next -->
-        <var-decl name='next' type-id='type-id-60' visibility='default' filepath='../include/urcu/rculfhash.h' line='70' column='1'/>
-      </data-member>
-    </class-decl>
-    <!-- typedef int (cds_lfht_node*, void*)* cds_lfht_match_fct -->
-    <typedef-decl name='cds_lfht_match_fct' type-id='type-id-89' filepath='../include/urcu/rculfhash.h' line='98' column='1' id='type-id-90'/>
-    <!-- cds_lfht* -->
-    <pointer-type-def type-id='type-id-67' size-in-bits='64' id='type-id-91'/>
-    <!-- cds_lfht* (unsigned long int, unsigned long int)* -->
-    <pointer-type-def type-id='type-id-92' size-in-bits='64' id='type-id-75'/>
-    <!-- cds_lfht_iter* -->
-    <pointer-type-def type-id='type-id-88' size-in-bits='64' id='type-id-93'/>
-    <!-- cds_lfht_node* -->
-    <pointer-type-def type-id='type-id-77' size-in-bits='64' id='type-id-60'/>
-    <!-- cds_lfht_node* (cds_lfht*, unsigned long int)* -->
-    <pointer-type-def type-id='type-id-94' size-in-bits='64' id='type-id-72'/>
-    <!-- const cds_lfht_mm_type -->
-    <qualified-type-def type-id='type-id-74' const='yes' id='type-id-95'/>
-    <!-- const cds_lfht_mm_type* -->
-    <pointer-type-def type-id='type-id-95' size-in-bits='64' id='type-id-68'/>
-    <!-- const rcu_flavor_struct -->
-    <qualified-type-def type-id='type-id-78' const='yes' id='type-id-96'/>
-    <!-- const rcu_flavor_struct* -->
-    <pointer-type-def type-id='type-id-96' size-in-bits='64' id='type-id-69'/>
-    <!-- ht_items_count* -->
-    <pointer-type-def type-id='type-id-87' size-in-bits='64' id='type-id-71'/>
-    <!-- int ()* -->
-    <pointer-type-def type-id='type-id-97' size-in-bits='64' id='type-id-80'/>
-    <!-- int (cds_lfht_node*, void*)* -->
-    <pointer-type-def type-id='type-id-98' size-in-bits='64' id='type-id-89'/>
-    <!-- long int* -->
-    <pointer-type-def type-id='type-id-24' size-in-bits='64' id='type-id-99'/>
-    <!-- pthread_attr_t* -->
-    <pointer-type-def type-id='type-id-86' size-in-bits='64' id='type-id-70'/>
-    <!-- pthread_attr_t** -->
-    <pointer-type-def type-id='type-id-70' size-in-bits='64' id='type-id-100'/>
-    <!-- unsigned long int* -->
-    <pointer-type-def type-id='type-id-22' size-in-bits='64' id='type-id-101'/>
-    <!-- urcu_atfork* -->
-    <pointer-type-def type-id='type-id-83' size-in-bits='64' id='type-id-102'/>
-    <!-- void ()* -->
-    <pointer-type-def type-id='type-id-103' size-in-bits='64' id='type-id-79'/>
-    <!-- void ()* -->
-    <pointer-type-def type-id='type-id-104' size-in-bits='64' id='type-id-76'/>
-    <!-- void (urcu_atfork*)* -->
-    <pointer-type-def type-id='type-id-105' size-in-bits='64' id='type-id-82'/>
-    <!-- void (void (void*)*, void*)* -->
-    <pointer-type-def type-id='type-id-106' size-in-bits='64' id='type-id-81'/>
-    <!-- void (void*)* -->
-    <pointer-type-def type-id='type-id-107' size-in-bits='64' id='type-id-84'/>
+
+    <!-- cds_lfht_node*[64] -->
+    <array-type-def dimensions='1' type-id='type-id-74' size-in-bits='4096' id='type-id-96'>
+      <!-- <anonymous range>[64] -->
+      <subrange length='64' type-id='type-id-39' id='type-id-98'/>
+
+    </array-type-def>
+
+    <!-- cds_lfht_node*[1] -->
+    <array-type-def dimensions='1' type-id='type-id-74' size-in-bits='64' id='type-id-97'>
+      <!-- <anonymous range>[1] -->
+      <subrange length='1' type-id='type-id-39' id='type-id-99'/>
+
+    </array-type-def>
     <!-- void cds_lfht_resize(cds_lfht*, unsigned long int) -->
     <function-decl name='cds_lfht_resize' mangled-name='cds_lfht_resize' filepath='src/rculfhash.c' line='2028' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfht_resize'>
       <!-- parameter of type 'cds_lfht*' -->
-      <parameter type-id='type-id-91' name='ht' filepath='src/rculfhash.c' line='2028' column='1'/>
+      <parameter type-id='type-id-70' name='ht' filepath='src/rculfhash.c' line='2028' column='1'/>
       <!-- parameter of type 'unsigned long int' -->
-      <parameter type-id='type-id-22' name='new_size' filepath='src/rculfhash.c' line='2028' column='1'/>
+      <parameter type-id='type-id-39' name='new_size' filepath='src/rculfhash.c' line='2028' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
+    <!-- long int* -->
+    <pointer-type-def type-id='type-id-32' size-in-bits='64' id='type-id-100'/>
+    <!-- unsigned long int* -->
+    <pointer-type-def type-id='type-id-39' size-in-bits='64' id='type-id-101'/>
     <!-- void cds_lfht_count_nodes(cds_lfht*, long int*, unsigned long int*, long int*) -->
     <function-decl name='cds_lfht_count_nodes' mangled-name='cds_lfht_count_nodes' filepath='src/rculfhash.c' line='1906' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfht_count_nodes'>
       <!-- parameter of type 'cds_lfht*' -->
-      <parameter type-id='type-id-91' name='ht' filepath='src/rculfhash.c' line='1906' column='1'/>
+      <parameter type-id='type-id-70' name='ht' filepath='src/rculfhash.c' line='1906' column='1'/>
       <!-- parameter of type 'long int*' -->
-      <parameter type-id='type-id-99' name='approx_before' filepath='src/rculfhash.c' line='1907' column='1'/>
+      <parameter type-id='type-id-100' name='approx_before' filepath='src/rculfhash.c' line='1907' column='1'/>
       <!-- parameter of type 'unsigned long int*' -->
       <parameter type-id='type-id-101' name='count' filepath='src/rculfhash.c' line='1908' column='1'/>
       <!-- parameter of type 'long int*' -->
-      <parameter type-id='type-id-99' name='approx_after' filepath='src/rculfhash.c' line='1909' column='1'/>
+      <parameter type-id='type-id-100' name='approx_after' filepath='src/rculfhash.c' line='1909' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
+    <!-- pthread_attr_t** -->
+    <pointer-type-def type-id='type-id-63' size-in-bits='64' id='type-id-102'/>
     <!-- int cds_lfht_destroy(cds_lfht*, pthread_attr_t**) -->
     <function-decl name='cds_lfht_destroy' mangled-name='cds_lfht_destroy' filepath='src/rculfhash.c' line='1881' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfht_destroy'>
       <!-- parameter of type 'cds_lfht*' -->
-      <parameter type-id='type-id-91' name='ht' filepath='src/rculfhash.c' line='1881' column='1'/>
+      <parameter type-id='type-id-70' name='ht' filepath='src/rculfhash.c' line='1881' column='1'/>
       <!-- parameter of type 'pthread_attr_t**' -->
-      <parameter type-id='type-id-100' name='attr' filepath='src/rculfhash.c' line='1881' column='1'/>
+      <parameter type-id='type-id-102' name='attr' filepath='src/rculfhash.c' line='1881' column='1'/>
       <!-- int -->
-      <return type-id='type-id-1'/>
+      <return type-id='type-id-3'/>
     </function-decl>
     <!-- int cds_lfht_is_node_deleted(cds_lfht_node*) -->
     <function-decl name='cds_lfht_is_node_deleted' mangled-name='cds_lfht_is_node_deleted' filepath='src/rculfhash.c' line='1838' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfht_is_node_deleted'>
       <!-- parameter of type 'cds_lfht_node*' -->
-      <parameter type-id='type-id-60' name='node' filepath='src/rculfhash.c' line='1838' column='1'/>
+      <parameter type-id='type-id-74' name='node' filepath='src/rculfhash.c' line='1838' column='1'/>
       <!-- int -->
-      <return type-id='type-id-1'/>
+      <return type-id='type-id-3'/>
     </function-decl>
     <!-- int cds_lfht_del(cds_lfht*, cds_lfht_node*) -->
     <function-decl name='cds_lfht_del' mangled-name='cds_lfht_del' filepath='src/rculfhash.c' line='1822' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfht_del'>
       <!-- parameter of type 'cds_lfht*' -->
-      <parameter type-id='type-id-91' name='ht' filepath='src/rculfhash.c' line='1822' column='1'/>
+      <parameter type-id='type-id-70' name='ht' filepath='src/rculfhash.c' line='1822' column='1'/>
       <!-- parameter of type 'cds_lfht_node*' -->
-      <parameter type-id='type-id-60' name='node' filepath='src/rculfhash.c' line='1822' column='1'/>
+      <parameter type-id='type-id-74' name='node' filepath='src/rculfhash.c' line='1822' column='1'/>
       <!-- int -->
-      <return type-id='type-id-1'/>
+      <return type-id='type-id-3'/>
     </function-decl>
+    <!-- struct cds_lfht_iter -->
+    <class-decl name='cds_lfht_iter' size-in-bits='128' is-struct='yes' visibility='default' filepath='../include/urcu/rculfhash.h' line='69' column='1' id='type-id-103'>
+      <data-member access='public' layout-offset-in-bits='0'>
+        <!-- cds_lfht_node* cds_lfht_iter::node -->
+        <var-decl name='node' type-id='type-id-74' visibility='default' filepath='../include/urcu/rculfhash.h' line='70' column='1'/>
+      </data-member>
+      <data-member access='public' layout-offset-in-bits='64'>
+        <!-- cds_lfht_node* cds_lfht_iter::next -->
+        <var-decl name='next' type-id='type-id-74' visibility='default' filepath='../include/urcu/rculfhash.h' line='70' column='1'/>
+      </data-member>
+    </class-decl>
+    <!-- cds_lfht_iter* -->
+    <pointer-type-def type-id='type-id-103' size-in-bits='64' id='type-id-104'/>
+    <!-- int (cds_lfht_node*, void*)* -->
+    <pointer-type-def type-id='type-id-105' size-in-bits='64' id='type-id-106'/>
+    <!-- typedef int (cds_lfht_node*, void*)* cds_lfht_match_fct -->
+    <typedef-decl name='cds_lfht_match_fct' type-id='type-id-106' filepath='../include/urcu/rculfhash.h' line='98' column='1' id='type-id-107'/>
     <!-- int cds_lfht_replace(cds_lfht*, cds_lfht_iter*, unsigned long int, cds_lfht_match_fct, void*, cds_lfht_node*) -->
     <function-decl name='cds_lfht_replace' mangled-name='cds_lfht_replace' filepath='src/rculfhash.c' line='1801' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfht_replace'>
       <!-- parameter of type 'cds_lfht*' -->
-      <parameter type-id='type-id-91' name='ht' filepath='src/rculfhash.c' line='1801' column='1'/>
+      <parameter type-id='type-id-70' name='ht' filepath='src/rculfhash.c' line='1801' column='1'/>
       <!-- parameter of type 'cds_lfht_iter*' -->
-      <parameter type-id='type-id-93' name='old_iter' filepath='src/rculfhash.c' line='1802' column='1'/>
+      <parameter type-id='type-id-104' name='old_iter' filepath='src/rculfhash.c' line='1802' column='1'/>
       <!-- parameter of type 'unsigned long int' -->
-      <parameter type-id='type-id-22' name='hash' filepath='src/rculfhash.c' line='1803' column='1'/>
+      <parameter type-id='type-id-39' name='hash' filepath='src/rculfhash.c' line='1803' column='1'/>
       <!-- parameter of type 'typedef cds_lfht_match_fct' -->
-      <parameter type-id='type-id-90' name='match' filepath='src/rculfhash.c' line='1804' column='1'/>
+      <parameter type-id='type-id-107' name='match' filepath='src/rculfhash.c' line='1804' column='1'/>
       <!-- parameter of type 'void*' -->
       <parameter type-id='type-id-48' name='key' filepath='src/rculfhash.c' line='1805' column='1'/>
       <!-- parameter of type 'cds_lfht_node*' -->
-      <parameter type-id='type-id-60' name='new_node' filepath='src/rculfhash.c' line='1806' column='1'/>
+      <parameter type-id='type-id-74' name='new_node' filepath='src/rculfhash.c' line='1806' column='1'/>
       <!-- int -->
-      <return type-id='type-id-1'/>
+      <return type-id='type-id-3'/>
     </function-decl>
     <!-- cds_lfht_node* cds_lfht_add_replace(cds_lfht*, unsigned long int, cds_lfht_match_fct, void*, cds_lfht_node*) -->
     <function-decl name='cds_lfht_add_replace' mangled-name='cds_lfht_add_replace' filepath='src/rculfhash.c' line='1778' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfht_add_replace'>
       <!-- parameter of type 'cds_lfht*' -->
-      <parameter type-id='type-id-91' name='ht' filepath='src/rculfhash.c' line='1778' column='1'/>
+      <parameter type-id='type-id-70' name='ht' filepath='src/rculfhash.c' line='1778' column='1'/>
       <!-- parameter of type 'unsigned long int' -->
-      <parameter type-id='type-id-22' name='hash' filepath='src/rculfhash.c' line='1779' column='1'/>
+      <parameter type-id='type-id-39' name='hash' filepath='src/rculfhash.c' line='1779' column='1'/>
       <!-- parameter of type 'typedef cds_lfht_match_fct' -->
-      <parameter type-id='type-id-90' name='match' filepath='src/rculfhash.c' line='1780' column='1'/>
+      <parameter type-id='type-id-107' name='match' filepath='src/rculfhash.c' line='1780' column='1'/>
       <!-- parameter of type 'void*' -->
       <parameter type-id='type-id-48' name='key' filepath='src/rculfhash.c' line='1781' column='1'/>
       <!-- parameter of type 'cds_lfht_node*' -->
-      <parameter type-id='type-id-60' name='node' filepath='src/rculfhash.c' line='1782' column='1'/>
+      <parameter type-id='type-id-74' name='node' filepath='src/rculfhash.c' line='1782' column='1'/>
       <!-- cds_lfht_node* -->
-      <return type-id='type-id-60'/>
+      <return type-id='type-id-74'/>
     </function-decl>
     <!-- cds_lfht_node* cds_lfht_add_unique(cds_lfht*, unsigned long int, cds_lfht_match_fct, void*, cds_lfht_node*) -->
     <function-decl name='cds_lfht_add_unique' mangled-name='cds_lfht_add_unique' filepath='src/rculfhash.c' line='1761' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfht_add_unique'>
       <!-- parameter of type 'cds_lfht*' -->
-      <parameter type-id='type-id-91' name='ht' filepath='src/rculfhash.c' line='1761' column='1'/>
+      <parameter type-id='type-id-70' name='ht' filepath='src/rculfhash.c' line='1778' column='1'/>
       <!-- parameter of type 'unsigned long int' -->
-      <parameter type-id='type-id-22' name='hash' filepath='src/rculfhash.c' line='1762' column='1'/>
+      <parameter type-id='type-id-39' name='hash' filepath='src/rculfhash.c' line='1779' column='1'/>
       <!-- parameter of type 'typedef cds_lfht_match_fct' -->
-      <parameter type-id='type-id-90' name='match' filepath='src/rculfhash.c' line='1763' column='1'/>
+      <parameter type-id='type-id-107' name='match' filepath='src/rculfhash.c' line='1780' column='1'/>
       <!-- parameter of type 'void*' -->
-      <parameter type-id='type-id-48' name='key' filepath='src/rculfhash.c' line='1764' column='1'/>
+      <parameter type-id='type-id-48' name='key' filepath='src/rculfhash.c' line='1781' column='1'/>
       <!-- parameter of type 'cds_lfht_node*' -->
-      <parameter type-id='type-id-60' name='node' filepath='src/rculfhash.c' line='1765' column='1'/>
+      <parameter type-id='type-id-74' name='node' filepath='src/rculfhash.c' line='1782' column='1'/>
       <!-- cds_lfht_node* -->
-      <return type-id='type-id-60'/>
+      <return type-id='type-id-74'/>
     </function-decl>
     <!-- void cds_lfht_add(cds_lfht*, unsigned long int, cds_lfht_node*) -->
     <function-decl name='cds_lfht_add' mangled-name='cds_lfht_add' filepath='src/rculfhash.c' line='1750' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfht_add'>
       <!-- parameter of type 'cds_lfht*' -->
-      <parameter type-id='type-id-91' name='ht' filepath='src/rculfhash.c' line='1750' column='1'/>
+      <parameter type-id='type-id-70' name='ht' filepath='src/rculfhash.c' line='1750' column='1'/>
       <!-- parameter of type 'unsigned long int' -->
-      <parameter type-id='type-id-22' name='hash' filepath='src/rculfhash.c' line='1750' column='1'/>
+      <parameter type-id='type-id-39' name='hash' filepath='src/rculfhash.c' line='1750' column='1'/>
       <!-- parameter of type 'cds_lfht_node*' -->
-      <parameter type-id='type-id-60' name='node' filepath='src/rculfhash.c' line='1751' column='1'/>
+      <parameter type-id='type-id-74' name='node' filepath='src/rculfhash.c' line='1751' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- void cds_lfht_first(cds_lfht*, cds_lfht_iter*) -->
     <function-decl name='cds_lfht_first' mangled-name='cds_lfht_first' filepath='src/rculfhash.c' line='1739' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfht_first'>
       <!-- parameter of type 'cds_lfht*' -->
-      <parameter type-id='type-id-91' name='ht' filepath='src/rculfhash.c' line='1739' column='1'/>
+      <parameter type-id='type-id-70' name='ht' filepath='src/rculfhash.c' line='1739' column='1'/>
       <!-- parameter of type 'cds_lfht_iter*' -->
-      <parameter type-id='type-id-93' name='iter' filepath='src/rculfhash.c' line='1739' column='1'/>
+      <parameter type-id='type-id-104' name='iter' filepath='src/rculfhash.c' line='1739' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- void cds_lfht_next(cds_lfht*, cds_lfht_iter*) -->
     <function-decl name='cds_lfht_next' mangled-name='cds_lfht_next' filepath='src/rculfhash.c' line='1715' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfht_next'>
       <!-- parameter of type 'cds_lfht*' -->
-      <parameter type-id='type-id-91' name='ht' filepath='src/rculfhash.c' line='1715' column='1'/>
+      <parameter type-id='type-id-70' name='ht' filepath='src/rculfhash.c' line='1715' column='1'/>
       <!-- parameter of type 'cds_lfht_iter*' -->
-      <parameter type-id='type-id-93' name='iter' filepath='src/rculfhash.c' line='1716' column='1'/>
+      <parameter type-id='type-id-104' name='iter' filepath='src/rculfhash.c' line='1716' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- void cds_lfht_next_duplicate(cds_lfht*, cds_lfht_match_fct, void*, cds_lfht_iter*) -->
     <function-decl name='cds_lfht_next_duplicate' mangled-name='cds_lfht_next_duplicate' filepath='src/rculfhash.c' line='1680' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfht_next_duplicate'>
       <!-- parameter of type 'cds_lfht*' -->
-      <parameter type-id='type-id-91' name='ht' filepath='src/rculfhash.c' line='1680' column='1'/>
+      <parameter type-id='type-id-70' name='ht' filepath='src/rculfhash.c' line='1680' column='1'/>
       <!-- parameter of type 'typedef cds_lfht_match_fct' -->
-      <parameter type-id='type-id-90' name='match' filepath='src/rculfhash.c' line='1681' column='1'/>
+      <parameter type-id='type-id-107' name='match' filepath='src/rculfhash.c' line='1681' column='1'/>
       <!-- parameter of type 'void*' -->
       <parameter type-id='type-id-48' name='key' filepath='src/rculfhash.c' line='1682' column='1'/>
       <!-- parameter of type 'cds_lfht_iter*' -->
-      <parameter type-id='type-id-93' name='iter' filepath='src/rculfhash.c' line='1682' column='1'/>
+      <parameter type-id='type-id-104' name='iter' filepath='src/rculfhash.c' line='1682' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- void cds_lfht_lookup(cds_lfht*, unsigned long int, cds_lfht_match_fct, void*, cds_lfht_iter*) -->
     <function-decl name='cds_lfht_lookup' mangled-name='cds_lfht_lookup' filepath='src/rculfhash.c' line='1640' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfht_lookup'>
       <!-- parameter of type 'cds_lfht*' -->
-      <parameter type-id='type-id-91' name='ht' filepath='src/rculfhash.c' line='1640' column='1'/>
+      <parameter type-id='type-id-70' name='ht' filepath='src/rculfhash.c' line='1640' column='1'/>
       <!-- parameter of type 'unsigned long int' -->
-      <parameter type-id='type-id-22' name='hash' filepath='src/rculfhash.c' line='1640' column='1'/>
+      <parameter type-id='type-id-39' name='hash' filepath='src/rculfhash.c' line='1640' column='1'/>
       <!-- parameter of type 'typedef cds_lfht_match_fct' -->
-      <parameter type-id='type-id-90' name='match' filepath='src/rculfhash.c' line='1641' column='1'/>
+      <parameter type-id='type-id-107' name='match' filepath='src/rculfhash.c' line='1641' column='1'/>
       <!-- parameter of type 'void*' -->
       <parameter type-id='type-id-48' name='key' filepath='src/rculfhash.c' line='1641' column='1'/>
       <!-- parameter of type 'cds_lfht_iter*' -->
-      <parameter type-id='type-id-93' name='iter' filepath='src/rculfhash.c' line='1642' column='1'/>
+      <parameter type-id='type-id-104' name='iter' filepath='src/rculfhash.c' line='1642' column='1'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-decl>
     <!-- cds_lfht* _cds_lfht_new(unsigned long int, unsigned long int, unsigned long int, int, const cds_lfht_mm_type*, const rcu_flavor_struct*, pthread_attr_t*) -->
     <function-decl name='_cds_lfht_new' mangled-name='_cds_lfht_new' filepath='src/rculfhash.c' line='1581' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='_cds_lfht_new'>
       <!-- parameter of type 'unsigned long int' -->
-      <parameter type-id='type-id-22' name='init_size' filepath='src/rculfhash.c' line='1581' column='1'/>
+      <parameter type-id='type-id-39' name='init_size' filepath='src/rculfhash.c' line='1581' column='1'/>
       <!-- parameter of type 'unsigned long int' -->
-      <parameter type-id='type-id-22' name='min_nr_alloc_buckets' filepath='src/rculfhash.c' line='1582' column='1'/>
+      <parameter type-id='type-id-39' name='min_nr_alloc_buckets' filepath='src/rculfhash.c' line='1582' column='1'/>
       <!-- parameter of type 'unsigned long int' -->
-      <parameter type-id='type-id-22' name='max_nr_buckets' filepath='src/rculfhash.c' line='1583' column='1'/>
+      <parameter type-id='type-id-39' name='max_nr_buckets' filepath='src/rculfhash.c' line='1583' column='1'/>
       <!-- parameter of type 'int' -->
-      <parameter type-id='type-id-1' name='flags' filepath='src/rculfhash.c' line='1584' column='1'/>
+      <parameter type-id='type-id-3' name='flags' filepath='src/rculfhash.c' line='1584' column='1'/>
       <!-- parameter of type 'const cds_lfht_mm_type*' -->
-      <parameter type-id='type-id-68' name='mm' filepath='src/rculfhash.c' line='1585' column='1'/>
+      <parameter type-id='type-id-61' name='mm' filepath='src/rculfhash.c' line='1585' column='1'/>
       <!-- parameter of type 'const rcu_flavor_struct*' -->
-      <parameter type-id='type-id-69' name='flavor' filepath='src/rculfhash.c' line='1586' column='1'/>
+      <parameter type-id='type-id-62' name='flavor' filepath='src/rculfhash.c' line='1586' column='1'/>
       <!-- parameter of type 'pthread_attr_t*' -->
-      <parameter type-id='type-id-70' name='attr' filepath='src/rculfhash.c' line='1587' column='1'/>
+      <parameter type-id='type-id-63' name='attr' filepath='src/rculfhash.c' line='1587' column='1'/>
       <!-- cds_lfht* -->
-      <return type-id='type-id-91'/>
+      <return type-id='type-id-70'/>
     </function-decl>
     <!-- int cds_lfht_get_count_order_ulong(unsigned long int) -->
     <function-decl name='cds_lfht_get_count_order_ulong' mangled-name='cds_lfht_get_count_order_ulong' filepath='src/rculfhash.c' line='598' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfht_get_count_order_ulong'>
       <!-- parameter of type 'unsigned long int' -->
-      <parameter type-id='type-id-22' name='x' filepath='src/rculfhash.c' line='598' column='1'/>
+      <parameter type-id='type-id-39' name='x' filepath='src/rculfhash.c' line='598' column='1'/>
       <!-- int -->
-      <return type-id='type-id-1'/>
+      <return type-id='type-id-3'/>
     </function-decl>
     <!-- unsigned int cds_lfht_fls_ulong(unsigned long int) -->
     <function-decl name='cds_lfht_fls_ulong' mangled-name='cds_lfht_fls_ulong' filepath='src/rculfhash.c' line='572' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='cds_lfht_fls_ulong'>
       <!-- parameter of type 'unsigned long int' -->
-      <parameter type-id='type-id-22' name='x' filepath='src/rculfhash.c' line='572' column='1'/>
+      <parameter type-id='type-id-39' name='x' filepath='src/rculfhash.c' line='572' column='1'/>
       <!-- unsigned int -->
-      <return type-id='type-id-26'/>
+      <return type-id='type-id-33'/>
     </function-decl>
     <!-- cds_lfht* (unsigned long int, unsigned long int) -->
-    <function-type size-in-bits='64' id='type-id-92'>
+    <function-type size-in-bits='64' id='type-id-71'>
       <!-- parameter of type 'unsigned long int' -->
-      <parameter type-id='type-id-22'/>
+      <parameter type-id='type-id-39'/>
       <!-- parameter of type 'unsigned long int' -->
-      <parameter type-id='type-id-22'/>
+      <parameter type-id='type-id-39'/>
       <!-- cds_lfht* -->
-      <return type-id='type-id-91'/>
+      <return type-id='type-id-70'/>
     </function-type>
     <!-- cds_lfht_node* (cds_lfht*, unsigned long int) -->
-    <function-type size-in-bits='64' id='type-id-94'>
+    <function-type size-in-bits='64' id='type-id-75'>
       <!-- parameter of type 'cds_lfht*' -->
-      <parameter type-id='type-id-91'/>
+      <parameter type-id='type-id-70'/>
       <!-- parameter of type 'unsigned long int' -->
-      <parameter type-id='type-id-22'/>
+      <parameter type-id='type-id-39'/>
       <!-- cds_lfht_node* -->
-      <return type-id='type-id-60'/>
+      <return type-id='type-id-74'/>
     </function-type>
     <!-- int () -->
-    <function-type size-in-bits='64' id='type-id-97'>
+    <function-type size-in-bits='64' id='type-id-83'>
       <!-- int -->
-      <return type-id='type-id-1'/>
+      <return type-id='type-id-3'/>
     </function-type>
     <!-- int (cds_lfht_node*, void*) -->
-    <function-type size-in-bits='64' id='type-id-98'>
+    <function-type size-in-bits='64' id='type-id-105'>
       <!-- parameter of type 'cds_lfht_node*' -->
-      <parameter type-id='type-id-60'/>
+      <parameter type-id='type-id-74'/>
       <!-- parameter of type 'void*' -->
       <parameter type-id='type-id-48'/>
       <!-- int -->
-      <return type-id='type-id-1'/>
+      <return type-id='type-id-3'/>
     </function-type>
     <!-- void () -->
-    <function-type size-in-bits='64' id='type-id-103'>
+    <function-type size-in-bits='64' id='type-id-82'>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-type>
     <!-- void (cds_lfht*, unsigned long int) -->
-    <function-type size-in-bits='64' id='type-id-104'>
+    <function-type size-in-bits='64' id='type-id-72'>
       <!-- parameter of type 'cds_lfht*' -->
-      <parameter type-id='type-id-91' name='ht'/>
+      <parameter type-id='type-id-70'/>
       <!-- parameter of type 'unsigned long int' -->
-      <parameter type-id='type-id-22' name='new_size'/>
+      <parameter type-id='type-id-39'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-type>
     <!-- void (urcu_atfork*) -->
-    <function-type size-in-bits='64' id='type-id-105'>
+    <function-type size-in-bits='64' id='type-id-89'>
       <!-- parameter of type 'urcu_atfork*' -->
-      <parameter type-id='type-id-102'/>
+      <parameter type-id='type-id-88'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-type>
     <!-- void (void (void*)*, void*) -->
-    <function-type size-in-bits='64' id='type-id-106'>
+    <function-type size-in-bits='64' id='type-id-86'>
       <!-- parameter of type 'void (void*)*' -->
-      <parameter type-id='type-id-84'/>
+      <parameter type-id='type-id-85'/>
       <!-- parameter of type 'void*' -->
       <parameter type-id='type-id-48'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-type>
     <!-- void (void*) -->
-    <function-type size-in-bits='64' id='type-id-107'>
+    <function-type size-in-bits='64' id='type-id-84'>
       <!-- parameter of type 'void*' -->
       <parameter type-id='type-id-48'/>
       <!-- void -->
-      <return type-id='type-id-2'/>
+      <return type-id='type-id-6'/>
     </function-type>
   </abi-instr>
   <abi-instr version='1.0' address-size='64' path='rculfhash-mm-order.c' comp-dir-path='src' language='LANG_C99'>
     <!-- const cds_lfht_mm_type cds_lfht_mm_order -->
-    <var-decl name='cds_lfht_mm_order' type-id='type-id-95' mangled-name='cds_lfht_mm_order' visibility='default' filepath='../include/urcu/rculfhash.h' line='129' column='1' elf-symbol-id='cds_lfht_mm_order'/>
+    <var-decl name='cds_lfht_mm_order' type-id='type-id-76' mangled-name='cds_lfht_mm_order' visibility='default' filepath='../include/urcu/rculfhash.h' line='129' column='1' elf-symbol-id='cds_lfht_mm_order'/>
   </abi-instr>
   <abi-instr version='1.0' address-size='64' path='rculfhash-mm-chunk.c' comp-dir-path='src' language='LANG_C99'>
     <!-- const cds_lfht_mm_type cds_lfht_mm_chunk -->
-    <var-decl name='cds_lfht_mm_chunk' type-id='type-id-95' mangled-name='cds_lfht_mm_chunk' visibility='default' filepath='../include/urcu/rculfhash.h' line='130' column='1' elf-symbol-id='cds_lfht_mm_chunk'/>
+    <var-decl name='cds_lfht_mm_chunk' type-id='type-id-76' mangled-name='cds_lfht_mm_chunk' visibility='default' filepath='../include/urcu/rculfhash.h' line='130' column='1' elf-symbol-id='cds_lfht_mm_chunk'/>
   </abi-instr>
   <abi-instr version='1.0' address-size='64' path='rculfhash-mm-mmap.c' comp-dir-path='src' language='LANG_C99'>
     <!-- const cds_lfht_mm_type cds_lfht_mm_mmap -->
-    <var-decl name='cds_lfht_mm_mmap' type-id='type-id-95' mangled-name='cds_lfht_mm_mmap' visibility='default' filepath='../include/urcu/rculfhash.h' line='131' column='1' elf-symbol-id='cds_lfht_mm_mmap'/>
+    <var-decl name='cds_lfht_mm_mmap' type-id='type-id-76' mangled-name='cds_lfht_mm_mmap' visibility='default' filepath='../include/urcu/rculfhash.h' line='131' column='1' elf-symbol-id='cds_lfht_mm_mmap'/>
   </abi-instr>
   <abi-instr version='1.0' address-size='64' path='compat_futex.c' comp-dir-path='src' language='LANG_C99'>
-
-
-    <!-- char[48] -->
-    <array-type-def dimensions='1' type-id='type-id-20' size-in-bits='384' id='type-id-108'>
-      <!-- <anonymous range>[48] -->
-      <subrange length='48' type-id='type-id-22' id='type-id-109'/>
-
-    </array-type-def>
-    <!-- long long int -->
-    <type-decl name='long long int' size-in-bits='64' id='type-id-110'/>
-    <!-- long long unsigned int -->
-    <type-decl name='long long unsigned int' size-in-bits='64' id='type-id-111'/>
-    <!-- unsigned int[2] -->
-    <array-type-def dimensions='1' type-id='type-id-26' size-in-bits='64' id='type-id-112'>
-      <!-- <anonymous range>[2] -->
-      <subrange length='2' type-id='type-id-22' id='type-id-113'/>
-
-    </array-type-def>
-    <!-- typedef __anonymous_union__ pthread_cond_t -->
-    <typedef-decl name='pthread_cond_t' type-id='type-id-114' filepath='/usr/include/bits/pthreadtypes.h' line='80' column='1' id='type-id-115'/>
-    <!-- union {__pthread_cond_s __data; char __size[48]; long long int __align;} -->
-    <union-decl name='__anonymous_union__' size-in-bits='384' is-anonymous='yes' visibility='default' filepath='/usr/include/bits/pthreadtypes.h' line='75' column='1' id='type-id-114'>
+    <!-- pthread_mutex_t __urcu_compat_futex_lock -->
+    <var-decl name='__urcu_compat_futex_lock' type-id='type-id-28' mangled-name='__urcu_compat_futex_lock' visibility='default' filepath='src/compat_futex.c' line='44' column='1' elf-symbol-id='__urcu_compat_futex_lock'/>
+    <!-- union __anonymous_union__ -->
+    <union-decl name='__anonymous_union__' size-in-bits='384' is-anonymous='yes' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h' line='75' column='1' id='type-id-108'>
       <data-member access='private'>
-        <!-- __pthread_cond_s __data -->
-        <var-decl name='__data' type-id='type-id-116' visibility='default' filepath='/usr/include/bits/pthreadtypes.h' line='77' column='1'/>
+        <!-- __pthread_cond_s __anonymous_union__::__data -->
+        <var-decl name='__data' type-id='type-id-109' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h' line='77' column='1'/>
       </data-member>
       <data-member access='private'>
-        <!-- char __size[48] -->
-        <var-decl name='__size' type-id='type-id-108' visibility='default' filepath='/usr/include/bits/pthreadtypes.h' line='78' column='1'/>
+        <!-- char __anonymous_union__::__size[48] -->
+        <var-decl name='__size' type-id='type-id-110' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h' line='78' column='1'/>
       </data-member>
       <data-member access='private'>
-        <!-- long long int __align -->
-        <var-decl name='__align' type-id='type-id-110' visibility='default' filepath='/usr/include/bits/pthreadtypes.h' line='79' column='1'/>
+        <!-- long long int __anonymous_union__::__align -->
+        <var-decl name='__align' type-id='type-id-111' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h' line='79' column='1'/>
       </data-member>
     </union-decl>
     <!-- struct __pthread_cond_s -->
-    <class-decl name='__pthread_cond_s' size-in-bits='384' is-struct='yes' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='92' column='1' id='type-id-116'>
+    <class-decl name='__pthread_cond_s' size-in-bits='384' is-struct='yes' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='171' column='1' id='type-id-109'>
       <data-member access='public' layout-offset-in-bits='0'>
-        <!-- union {long long unsigned int __wseq; struct {unsigned int __low; unsigned int __high;} __wseq32;} -->
-        <var-decl name='' type-id='type-id-117' visibility='default'/>
+        <!-- __anonymous_union__  -->
+        <var-decl name='' type-id='type-id-112' visibility='default'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='128'>
         <!-- unsigned int __pthread_cond_s::__g_refs[2] -->
-        <var-decl name='__g_refs' type-id='type-id-112' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='112' column='1'/>
+        <var-decl name='__g_refs' type-id='type-id-113' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='191' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='192'>
         <!-- unsigned int __pthread_cond_s::__g_size[2] -->
-        <var-decl name='__g_size' type-id='type-id-112' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='113' column='1'/>
+        <var-decl name='__g_size' type-id='type-id-113' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='192' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='256'>
         <!-- unsigned int __pthread_cond_s::__g1_orig_size -->
-        <var-decl name='__g1_orig_size' type-id='type-id-26' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='114' column='1'/>
+        <var-decl name='__g1_orig_size' type-id='type-id-33' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='193' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='288'>
         <!-- unsigned int __pthread_cond_s::__wrefs -->
-        <var-decl name='__wrefs' type-id='type-id-26' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='115' column='1'/>
+        <var-decl name='__wrefs' type-id='type-id-33' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='194' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='320'>
         <!-- unsigned int __pthread_cond_s::__g_signals[2] -->
-        <var-decl name='__g_signals' type-id='type-id-112' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='116' column='1'/>
+        <var-decl name='__g_signals' type-id='type-id-113' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='195' column='1'/>
       </data-member>
     </class-decl>
-    <!-- union {long long unsigned int __wseq; struct {unsigned int __low; unsigned int __high;} __wseq32;} -->
-    <union-decl name='__anonymous_union__1' size-in-bits='64' is-anonymous='yes' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='94' column='1' id='type-id-117'>
+    <!-- union __anonymous_union__ -->
+    <union-decl name='__anonymous_union__' size-in-bits='64' is-anonymous='yes' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='173' column='1' id='type-id-112'>
       <data-member access='private'>
-        <!-- long long unsigned int __wseq -->
-        <var-decl name='__wseq' type-id='type-id-111' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='96' column='1'/>
+        <!-- long long unsigned int __anonymous_union__::__wseq -->
+        <var-decl name='__wseq' type-id='type-id-114' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='175' column='1'/>
       </data-member>
       <data-member access='private'>
-        <!-- struct {unsigned int __low; unsigned int __high;} __wseq32 -->
-        <var-decl name='__wseq32' type-id='type-id-118' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='101' column='1'/>
+        <!-- __anonymous_struct__ __anonymous_union__::__wseq32 -->
+        <var-decl name='__wseq32' type-id='type-id-115' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='180' column='1'/>
       </data-member>
     </union-decl>
-    <!-- struct {unsigned int __low; unsigned int __high;} -->
-    <class-decl name='__anonymous_struct__' size-in-bits='64' is-struct='yes' is-anonymous='yes' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='97' column='1' id='type-id-118'>
+    <!-- long long unsigned int -->
+    <type-decl name='long long unsigned int' size-in-bits='64' id='type-id-114'/>
+    <!-- struct __anonymous_struct__ -->
+    <class-decl name='__anonymous_struct__' size-in-bits='64' is-struct='yes' is-anonymous='yes' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='176' column='1' id='type-id-115'>
       <data-member access='public' layout-offset-in-bits='0'>
-        <!-- unsigned int __low -->
-        <var-decl name='__low' type-id='type-id-26' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='99' column='1'/>
+        <!-- unsigned int __anonymous_struct__::__low -->
+        <var-decl name='__low' type-id='type-id-33' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='178' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='32'>
-        <!-- unsigned int __high -->
-        <var-decl name='__high' type-id='type-id-26' visibility='default' filepath='/usr/include/bits/thread-shared-types.h' line='100' column='1'/>
+        <!-- unsigned int __anonymous_struct__::__high -->
+        <var-decl name='__high' type-id='type-id-33' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h' line='179' column='1'/>
       </data-member>
     </class-decl>
+
+    <!-- unsigned int[2] -->
+    <array-type-def dimensions='1' type-id='type-id-33' size-in-bits='64' id='type-id-113'>
+      <!-- <anonymous range>[2] -->
+      <subrange length='2' type-id='type-id-39' id='type-id-116'/>
+
+    </array-type-def>
+
+    <!-- char[48] -->
+    <array-type-def dimensions='1' type-id='type-id-38' size-in-bits='384' id='type-id-110'>
+      <!-- <anonymous range>[48] -->
+      <subrange length='48' type-id='type-id-39' id='type-id-117'/>
+
+    </array-type-def>
+    <!-- long long int -->
+    <type-decl name='long long int' size-in-bits='64' id='type-id-111'/>
+    <!-- typedef __anonymous_union__ pthread_cond_t -->
+    <typedef-decl name='pthread_cond_t' type-id='type-id-108' filepath='/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h' line='80' column='1' id='type-id-118'/>
+    <!-- pthread_cond_t __urcu_compat_futex_cond -->
+    <var-decl name='__urcu_compat_futex_cond' type-id='type-id-118' mangled-name='__urcu_compat_futex_cond' visibility='default' filepath='src/compat_futex.c' line='46' column='1' elf-symbol-id='__urcu_compat_futex_cond'/>
+    <!-- int32_t* -->
+    <pointer-type-def type-id='type-id-46' size-in-bits='64' id='type-id-119'/>
     <!-- struct timespec -->
-    <class-decl name='timespec' size-in-bits='128' is-struct='yes' visibility='default' filepath='/usr/include/bits/types/struct_timespec.h' line='10' column='1' id='type-id-119'>
+    <class-decl name='timespec' size-in-bits='128' is-struct='yes' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h' line='9' column='1' id='type-id-120'>
       <data-member access='public' layout-offset-in-bits='0'>
         <!-- __time_t timespec::tv_sec -->
-        <var-decl name='tv_sec' type-id='type-id-120' visibility='default' filepath='/usr/include/bits/types/struct_timespec.h' line='12' column='1'/>
+        <var-decl name='tv_sec' type-id='type-id-121' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h' line='11' column='1'/>
       </data-member>
       <data-member access='public' layout-offset-in-bits='64'>
         <!-- __syscall_slong_t timespec::tv_nsec -->
-        <var-decl name='tv_nsec' type-id='type-id-121' visibility='default' filepath='/usr/include/bits/types/struct_timespec.h' line='16' column='1'/>
+        <var-decl name='tv_nsec' type-id='type-id-122' visibility='default' filepath='/usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h' line='12' column='1'/>
       </data-member>
     </class-decl>
     <!-- typedef long int __time_t -->
-    <typedef-decl name='__time_t' type-id='type-id-24' filepath='/usr/include/bits/types.h' line='160' column='1' id='type-id-120'/>
+    <typedef-decl name='__time_t' type-id='type-id-32' filepath='/usr/include/x86_64-linux-gnu/bits/types.h' line='148' column='1' id='type-id-121'/>
     <!-- typedef long int __syscall_slong_t -->
-    <typedef-decl name='__syscall_slong_t' type-id='type-id-24' filepath='/usr/include/bits/types.h' line='197' column='1' id='type-id-121'/>
+    <typedef-decl name='__syscall_slong_t' type-id='type-id-32' filepath='/usr/include/x86_64-linux-gnu/bits/types.h' line='184' column='1' id='type-id-122'/>
     <!-- const timespec -->
-    <qualified-type-def type-id='type-id-119' const='yes' id='type-id-122'/>
+    <qualified-type-def type-id='type-id-120' const='yes' id='type-id-123'/>
     <!-- const timespec* -->
-    <pointer-type-def type-id='type-id-122' size-in-bits='64' id='type-id-123'/>
-    <!-- int32_t* -->
-    <pointer-type-def type-id='type-id-46' size-in-bits='64' id='type-id-124'/>
-    <!-- pthread_mutex_t __urcu_compat_futex_lock -->
-    <var-decl name='__urcu_compat_futex_lock' type-id='type-id-37' mangled-name='__urcu_compat_futex_lock' visibility='default' filepath='src/compat_futex.c' line='44' column='1' elf-symbol-id='__urcu_compat_futex_lock'/>
-    <!-- pthread_cond_t __urcu_compat_futex_cond -->
-    <var-decl name='__urcu_compat_futex_cond' type-id='type-id-115' mangled-name='__urcu_compat_futex_cond' visibility='default' filepath='src/compat_futex.c' line='46' column='1' elf-symbol-id='__urcu_compat_futex_cond'/>
+    <pointer-type-def type-id='type-id-123' size-in-bits='64' id='type-id-124'/>
     <!-- int compat_futex_async(int32_t*, int, int32_t, const timespec*, int32_t*, int32_t) -->
     <function-decl name='compat_futex_async' mangled-name='compat_futex_async' filepath='src/compat_futex.c' line='118' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='compat_futex_async'>
       <!-- parameter of type 'int32_t*' -->
-      <parameter type-id='type-id-124' name='uaddr' filepath='src/compat_futex.c' line='118' column='1'/>
+      <parameter type-id='type-id-119' name='uaddr' filepath='src/compat_futex.c' line='118' column='1'/>
       <!-- parameter of type 'int' -->
-      <parameter type-id='type-id-1' name='op' filepath='src/compat_futex.c' line='118' column='1'/>
+      <parameter type-id='type-id-3' name='op' filepath='src/compat_futex.c' line='118' column='1'/>
       <!-- parameter of type 'typedef int32_t' -->
       <parameter type-id='type-id-46' name='val' filepath='src/compat_futex.c' line='118' column='1'/>
       <!-- parameter of type 'const timespec*' -->
-      <parameter type-id='type-id-123' name='timeout' filepath='src/compat_futex.c' line='119' column='1'/>
+      <parameter type-id='type-id-124' name='timeout' filepath='src/compat_futex.c' line='119' column='1'/>
       <!-- parameter of type 'int32_t*' -->
-      <parameter type-id='type-id-124' name='uaddr2' filepath='src/compat_futex.c' line='119' column='1'/>
+      <parameter type-id='type-id-119' name='uaddr2' filepath='src/compat_futex.c' line='119' column='1'/>
       <!-- parameter of type 'typedef int32_t' -->
       <parameter type-id='type-id-46' name='val3' filepath='src/compat_futex.c' line='119' column='1'/>
       <!-- int -->
-      <return type-id='type-id-1'/>
+      <return type-id='type-id-3'/>
     </function-decl>
     <!-- int compat_futex_noasync(int32_t*, int, int32_t, const timespec*, int32_t*, int32_t) -->
     <function-decl name='compat_futex_noasync' mangled-name='compat_futex_noasync' filepath='src/compat_futex.c' line='54' column='1' visibility='default' binding='global' size-in-bits='64' elf-symbol-id='compat_futex_noasync'>
       <!-- parameter of type 'int32_t*' -->
-      <parameter type-id='type-id-124' name='uaddr' filepath='src/compat_futex.c' line='54' column='1'/>
+      <parameter type-id='type-id-119' name='uaddr' filepath='src/compat_futex.c' line='54' column='1'/>
       <!-- parameter of type 'int' -->
-      <parameter type-id='type-id-1' name='op' filepath='src/compat_futex.c' line='54' column='1'/>
+      <parameter type-id='type-id-3' name='op' filepath='src/compat_futex.c' line='54' column='1'/>
       <!-- parameter of type 'typedef int32_t' -->
       <parameter type-id='type-id-46' name='val' filepath='src/compat_futex.c' line='54' column='1'/>
       <!-- parameter of type 'const timespec*' -->
-      <parameter type-id='type-id-123' name='timeout' filepath='src/compat_futex.c' line='55' column='1'/>
+      <parameter type-id='type-id-124' name='timeout' filepath='src/compat_futex.c' line='55' column='1'/>
       <!-- parameter of type 'int32_t*' -->
-      <parameter type-id='type-id-124' name='uaddr2' filepath='src/compat_futex.c' line='55' column='1'/>
+      <parameter type-id='type-id-119' name='uaddr2' filepath='src/compat_futex.c' line='55' column='1'/>
       <!-- parameter of type 'typedef int32_t' -->
       <parameter type-id='type-id-46' name='val3' filepath='src/compat_futex.c' line='55' column='1'/>
       <!-- int -->
-      <return type-id='type-id-1'/>
+      <return type-id='type-id-3'/>
     </function-decl>
   </abi-instr>
 </abi-corpus>