Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : parser for dwarf file (to complete ...)
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 11 May 2012 17:07:06 +0000 (19:07 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 11 May 2012 17:07:06 +0000 (19:07 +0200)
examples/msg/mc/dwarf [new file with mode: 0644]
examples/msg/mc/parse_dwarf [new file with mode: 0644]

diff --git a/examples/msg/mc/dwarf b/examples/msg/mc/dwarf
new file mode 100644 (file)
index 0000000..047e4f6
--- /dev/null
@@ -0,0 +1,5366 @@
+
+.debug_info
+
+COMPILE_UNIT<header overall offset = 0x00000000>:
+< 0><0x0000000b>  DW_TAG_compile_unit
+                    DW_AT_producer              "GNU C 4.6.3"
+                    DW_AT_language              DW_LANG_C89
+                    DW_AT_name                  "/home/marion/Simgrid/examples/msg/mc/automaton.c"
+                    DW_AT_comp_dir              "/home/marion/Simgrid/examples/msg/mc"
+                    DW_AT_low_pc                0x00402ca4
+                    DW_AT_high_pc               0x00404083
+                    DW_AT_stmt_list             0x00000000
+                    DW_AT_macro_info            0
+
+LOCAL_SYMBOLS:
+< 1><0x00000031>    DW_TAG_typedef
+                      DW_AT_name                  "size_t"
+                      DW_AT_decl_file             0x00000004 /usr/lib/gcc/x86_64-linux-gnu/4.6/include/stddef.h
+                      DW_AT_decl_line             0x000000d4
+                      DW_AT_type                  <0x0000003c>
+< 1><0x0000003c>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_encoding              DW_ATE_unsigned
+                      DW_AT_name                  "long unsigned int"
+< 1><0x00000043>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000004
+                      DW_AT_encoding              DW_ATE_signed
+                      DW_AT_name                  "int"
+< 1><0x0000004a>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000004
+                      DW_AT_encoding              DW_ATE_unsigned
+                      DW_AT_name                  "unsigned int"
+< 1><0x00000051>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x00000043>
+< 1><0x00000057>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_encoding              DW_ATE_signed
+                      DW_AT_name                  "long int"
+< 1><0x0000005e>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_encoding              DW_ATE_signed
+                      DW_AT_name                  "long long int"
+< 1><0x00000065>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000001
+                      DW_AT_encoding              DW_ATE_unsigned_char
+                      DW_AT_name                  "unsigned char"
+< 1><0x0000006c>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000002
+                      DW_AT_encoding              DW_ATE_unsigned
+                      DW_AT_name                  "short unsigned int"
+< 1><0x00000073>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000001
+                      DW_AT_encoding              DW_ATE_signed_char
+                      DW_AT_name                  "signed char"
+< 1><0x0000007a>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000002
+                      DW_AT_encoding              DW_ATE_signed
+                      DW_AT_name                  "short int"
+< 1><0x00000081>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+< 1><0x00000083>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x00000089>
+< 1><0x00000089>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000001
+                      DW_AT_encoding              DW_ATE_signed_char
+                      DW_AT_name                  "char"
+< 1><0x00000090>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_encoding              DW_ATE_unsigned
+                      DW_AT_name                  "long long unsigned int"
+< 1><0x00000097>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x0000009d>
+< 1><0x0000009d>    DW_TAG_const_type
+< 1><0x0000009e>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x000000a4>
+< 1><0x000000a4>    DW_TAG_const_type
+                      DW_AT_type                  <0x00000089>
+< 1><0x000000a9>    DW_TAG_typedef
+                      DW_AT_name                  "void_f_pvoid_t"
+                      DW_AT_decl_file             0x00000005 /home/marion/Simgrid/include/xbt/function_types.h
+                      DW_AT_decl_line             0x00000011
+                      DW_AT_type                  <0x000000b4>
+< 1><0x000000b4>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x000000ba>
+< 1><0x000000ba>    DW_TAG_subroutine_type
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_sibling               <0x000000c6>
+< 2><0x000000c0>      DW_TAG_formal_parameter
+                        DW_AT_type                  <0x00000081>
+< 1><0x000000c6>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_encoding              DW_ATE_float
+                      DW_AT_name                  "double"
+< 1><0x000000cd>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_dynar_t"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
+                      DW_AT_decl_line             0x0000003e
+                      DW_AT_type                  <0x000000d8>
+< 1><0x000000d8>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x000000de>
+< 1><0x000000de>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_dynar_s"
+                      DW_AT_byte_size             0x00000030
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
+                      DW_AT_decl_line             0x000000dc
+                      DW_AT_sibling               <0x0000013f>
+< 2><0x000000ea>      DW_TAG_member
+                        DW_AT_name                  "size"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000dd
+                        DW_AT_type                  <0x0000003c>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x000000f8>      DW_TAG_member
+                        DW_AT_name                  "used"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000de
+                        DW_AT_type                  <0x0000003c>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x00000106>      DW_TAG_member
+                        DW_AT_name                  "elmsize"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000df
+                        DW_AT_type                  <0x0000003c>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 2><0x00000114>      DW_TAG_member
+                        DW_AT_name                  "data"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000e0
+                        DW_AT_type                  <0x00000081>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 24
+< 2><0x00000122>      DW_TAG_member
+                        DW_AT_name                  "free_f"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000e1
+                        DW_AT_type                  <0x000000a9>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 32
+< 2><0x00000130>      DW_TAG_member
+                        DW_AT_name                  "mutex"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000e2
+                        DW_AT_type                  <0x0000013f>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 40
+< 1><0x0000013f>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_mutex_t"
+                      DW_AT_decl_file             0x00000006 /home/marion/Simgrid/include/xbt/synchro_core.h
+                      DW_AT_decl_line             0x0000004a
+                      DW_AT_type                  <0x0000014a>
+< 1><0x0000014a>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x00000150>
+< 1><0x00000150>    DW_TAG_structure_type
+                      DW_AT_name                  "s_xbt_mutex_"
+                      DW_AT_declaration           yes(1)
+< 1><0x00000156>    DW_TAG_typedef
+                      DW_AT_name                  "__gnuc_va_list"
+                      DW_AT_decl_file             0x00000007 /usr/lib/gcc/x86_64-linux-gnu/4.6/include/stdarg.h
+                      DW_AT_decl_line             0x00000028
+                      DW_AT_type                  <0x00000161>
+< 1><0x00000161>    DW_TAG_array_type
+                      DW_AT_type                  <0x00000171>
+                      DW_AT_sibling               <0x00000171>
+< 2><0x0000016a>      DW_TAG_subrange_type
+                        DW_AT_type                  <0x0000003c>
+                        DW_AT_upper_bound           0
+< 1><0x00000171>    DW_TAG_structure_type
+                      DW_AT_name                  "__va_list_tag"
+                      DW_AT_byte_size             0x00000018
+                      DW_AT_decl_file             0x00000008 /home/marion/Simgrid/examples/msg/mc/<built-in>
+                      DW_AT_decl_line             0x00000000
+                      DW_AT_sibling               <0x000001b6>
+< 2><0x0000017d>      DW_TAG_member
+                        DW_AT_name                  "gp_offset"
+                        DW_AT_decl_file             0x00000008 /home/marion/Simgrid/examples/msg/mc/<built-in>
+                        DW_AT_decl_line             0x00000000
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x0000018b>      DW_TAG_member
+                        DW_AT_name                  "fp_offset"
+                        DW_AT_decl_file             0x00000008 /home/marion/Simgrid/examples/msg/mc/<built-in>
+                        DW_AT_decl_line             0x00000000
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 4
+< 2><0x00000199>      DW_TAG_member
+                        DW_AT_name                  "overflow_arg_area"
+                        DW_AT_decl_file             0x00000008 /home/marion/Simgrid/examples/msg/mc/<built-in>
+                        DW_AT_decl_line             0x00000000
+                        DW_AT_type                  <0x00000081>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x000001a7>      DW_TAG_member
+                        DW_AT_name                  "reg_save_area"
+                        DW_AT_decl_file             0x00000008 /home/marion/Simgrid/examples/msg/mc/<built-in>
+                        DW_AT_decl_line             0x00000000
+                        DW_AT_type                  <0x00000081>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 1><0x000001b6>    DW_TAG_typedef
+                      DW_AT_name                  "va_list"
+                      DW_AT_decl_file             0x00000007 /usr/lib/gcc/x86_64-linux-gnu/4.6/include/stdarg.h
+                      DW_AT_decl_line             0x00000066
+                      DW_AT_type                  <0x00000156>
+< 1><0x000001c1>    DW_TAG_enumeration_type
+                      DW_AT_byte_size             0x00000004
+                      DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x0000002d
+                      DW_AT_sibling               <0x00000206>
+< 2><0x000001c9>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_none"
+                        DW_AT_const_value           0x00000000
+< 2><0x000001cf>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_trace"
+                        DW_AT_const_value           0x00000001
+< 2><0x000001d5>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_debug"
+                        DW_AT_const_value           0x00000002
+< 2><0x000001db>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_verbose"
+                        DW_AT_const_value           0x00000003
+< 2><0x000001e1>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_info"
+                        DW_AT_const_value           0x00000004
+< 2><0x000001e7>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_warning"
+                        DW_AT_const_value           0x00000005
+< 2><0x000001ed>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_error"
+                        DW_AT_const_value           0x00000006
+< 2><0x000001f3>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_critical"
+                        DW_AT_const_value           0x00000007
+< 2><0x000001f9>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_infinite"
+                        DW_AT_const_value           0x00000008
+< 2><0x000001ff>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_uninitialized"
+                        DW_AT_const_value           0xffffffffffffffff
+< 1><0x00000206>    DW_TAG_typedef
+                      DW_AT_name                  "e_xbt_log_priority_t"
+                      DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x0000003a
+                      DW_AT_type                  <0x000001c1>
+< 1><0x00000211>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_log_appender_s"
+                      DW_AT_declaration           yes(1)
+< 1><0x00000217>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_log_appender_t"
+                      DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x000000f2
+                      DW_AT_type                  <0x00000222>
+< 1><0x00000222>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x00000211>
+< 1><0x00000228>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_log_layout_s"
+                      DW_AT_declaration           yes(1)
+< 1><0x0000022e>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_log_layout_t"
+                      DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x000000f3
+                      DW_AT_type                  <0x00000239>
+< 1><0x00000239>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x00000228>
+< 1><0x0000023f>    DW_TAG_typedef
+                      DW_AT_name                  "s_xbt_log_event_t"
+                      DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x000000f4
+                      DW_AT_type                  <0x0000024a>
+< 1><0x0000024a>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_log_event_s"
+                      DW_AT_byte_size             0x00000050
+                      DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x0000010a
+                      DW_AT_sibling               <0x000002cf>
+< 2><0x00000257>      DW_TAG_member
+                        DW_AT_name                  "cat"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x0000010b
+                        DW_AT_type                  <0x00000389>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x00000266>      DW_TAG_member
+                        DW_AT_name                  "priority"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x0000010c
+                        DW_AT_type                  <0x00000206>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x00000275>      DW_TAG_member
+                        DW_AT_name                  "fileName"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x0000010d
+                        DW_AT_type                  <0x0000009e>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 2><0x00000284>      DW_TAG_member
+                        DW_AT_name                  "functionName"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x0000010e
+                        DW_AT_type                  <0x0000009e>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 24
+< 2><0x00000293>      DW_TAG_member
+                        DW_AT_name                  "lineNum"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x0000010f
+                        DW_AT_type                  <0x00000043>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 32
+< 2><0x000002a2>      DW_TAG_member
+                        DW_AT_name                  "ap"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000110
+                        DW_AT_type                  <0x000001b6>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 40
+< 2><0x000002b0>      DW_TAG_member
+                        DW_AT_name                  "buffer"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000111
+                        DW_AT_type                  <0x00000083>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 64
+< 2><0x000002bf>      DW_TAG_member
+                        DW_AT_name                  "buffer_size"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000112
+                        DW_AT_type                  <0x00000043>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 72
+< 1><0x000002cf>    DW_TAG_typedef
+                      DW_AT_name                  "s_xbt_log_category_t"
+                      DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x000000f5
+                      DW_AT_type                  <0x000002da>
+< 1><0x000002da>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_log_category_s"
+                      DW_AT_byte_size             0x00000050
+                      DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x000000fc
+                      DW_AT_sibling               <0x00000389>
+< 2><0x000002e6>      DW_TAG_member
+                        DW_AT_name                  "parent"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x000000fd
+                        DW_AT_type                  <0x00000389>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x000002f4>      DW_TAG_member
+                        DW_AT_name                  "firstChild"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x000000fe
+                        DW_AT_type                  <0x00000389>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x00000302>      DW_TAG_member
+                        DW_AT_name                  "nextSibling"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x000000ff
+                        DW_AT_type                  <0x00000389>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 2><0x00000310>      DW_TAG_member
+                        DW_AT_name                  "name"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000100
+                        DW_AT_type                  <0x0000009e>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 24
+< 2><0x0000031f>      DW_TAG_member
+                        DW_AT_name                  "description"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000101
+                        DW_AT_type                  <0x0000009e>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 32
+< 2><0x0000032e>      DW_TAG_member
+                        DW_AT_name                  "initialized"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000102
+                        DW_AT_type                  <0x00000043>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 40
+< 2><0x0000033d>      DW_TAG_member
+                        DW_AT_name                  "threshold"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000103
+                        DW_AT_type                  <0x00000043>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 44
+< 2><0x0000034c>      DW_TAG_member
+                        DW_AT_name                  "isThreshInherited"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000104
+                        DW_AT_type                  <0x00000043>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 48
+< 2><0x0000035b>      DW_TAG_member
+                        DW_AT_name                  "appender"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000105
+                        DW_AT_type                  <0x00000217>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 56
+< 2><0x0000036a>      DW_TAG_member
+                        DW_AT_name                  "layout"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000106
+                        DW_AT_type                  <0x0000022e>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 64
+< 2><0x00000379>      DW_TAG_member
+                        DW_AT_name                  "additivity"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000107
+                        DW_AT_type                  <0x00000043>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 72
+< 1><0x00000389>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_log_category_t"
+                      DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x000000f6
+                      DW_AT_type                  <0x00000394>
+< 1><0x00000394>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x000002da>
+< 1><0x0000039a>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_state"
+                      DW_AT_byte_size             0x00000020
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x0000000c
+                      DW_AT_sibling               <0x000003dd>
+< 2><0x000003a6>      DW_TAG_member
+                        DW_AT_name                  "id"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x0000000d
+                        DW_AT_type                  <0x00000083>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x000003b3>      DW_TAG_member
+                        DW_AT_name                  "type"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x0000000e
+                        DW_AT_type                  <0x00000043>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x000003c1>      DW_TAG_member
+                        DW_AT_name                  "in"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x0000000f
+                        DW_AT_type                  <0x000000cd>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 2><0x000003ce>      DW_TAG_member
+                        DW_AT_name                  "out"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000010
+                        DW_AT_type                  <0x000000cd>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 24
+< 1><0x000003dd>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_state_t"
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x00000013
+                      DW_AT_type                  <0x000003e8>
+< 1><0x000003e8>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x0000039a>
+< 1><0x000003ee>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_automaton"
+                      DW_AT_byte_size             0x00000020
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x00000015
+                      DW_AT_sibling               <0x00000433>
+< 2><0x000003fa>      DW_TAG_member
+                        DW_AT_name                  "propositional_symbols"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000016
+                        DW_AT_type                  <0x000000cd>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x00000408>      DW_TAG_member
+                        DW_AT_name                  "transitions"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000017
+                        DW_AT_type                  <0x000000cd>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x00000416>      DW_TAG_member
+                        DW_AT_name                  "states"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000018
+                        DW_AT_type                  <0x000000cd>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 2><0x00000424>      DW_TAG_member
+                        DW_AT_name                  "current_state"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000019
+                        DW_AT_type                  <0x000003dd>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 24
+< 1><0x00000433>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_automaton_t"
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x0000001c
+                      DW_AT_type                  <0x0000043e>
+< 1><0x0000043e>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x000003ee>
+< 1><0x00000444>    DW_TAG_structure_type
+                      DW_AT_byte_size             0x00000010
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x00000023
+                      DW_AT_sibling               <0x00000469>
+< 2><0x0000044c>      DW_TAG_member
+                        DW_AT_name                  "left_exp"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000024
+                        DW_AT_type                  <0x00000490>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x0000045a>      DW_TAG_member
+                        DW_AT_name                  "right_exp"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000025
+                        DW_AT_type                  <0x00000490>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 1><0x00000469>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_exp_label"
+                      DW_AT_byte_size             0x00000018
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x0000001e
+                      DW_AT_sibling               <0x00000490>
+< 2><0x00000475>      DW_TAG_member
+                        DW_AT_name                  "type"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000021
+                        DW_AT_type                  <0x00000043>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x00000483>      DW_TAG_member
+                        DW_AT_name                  "u"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000029
+                        DW_AT_type                  <0x00000496>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 1><0x00000490>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x00000469>
+< 1><0x00000496>    DW_TAG_union_type
+                      DW_AT_byte_size             0x00000010
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x00000022
+                      DW_AT_sibling               <0x000004c0>
+< 2><0x0000049e>      DW_TAG_member
+                        DW_AT_name                  "or_and"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000026
+                        DW_AT_type                  <0x00000444>
+< 2><0x000004a9>      DW_TAG_member
+                        DW_AT_name                  "exp_not"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000027
+                        DW_AT_type                  <0x00000490>
+< 2><0x000004b4>      DW_TAG_member
+                        DW_AT_name                  "predicat"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000028
+                        DW_AT_type                  <0x00000083>
+< 1><0x000004c0>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_exp_label_t"
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x0000002c
+                      DW_AT_type                  <0x00000490>
+< 1><0x000004cb>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_transition"
+                      DW_AT_byte_size             0x00000018
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x0000002f
+                      DW_AT_sibling               <0x00000502>
+< 2><0x000004d7>      DW_TAG_member
+                        DW_AT_name                  "src"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000030
+                        DW_AT_type                  <0x000003dd>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x000004e5>      DW_TAG_member
+                        DW_AT_name                  "dst"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000031
+                        DW_AT_type                  <0x000003dd>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x000004f3>      DW_TAG_member
+                        DW_AT_name                  "label"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000032
+                        DW_AT_type                  <0x000004c0>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 1><0x00000502>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_transition_t"
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x00000035
+                      DW_AT_type                  <0x0000050d>
+< 1><0x0000050d>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x000004cb>
+< 1><0x00000513>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_propositional_symbol"
+                      DW_AT_byte_size             0x00000010
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x00000038
+                      DW_AT_sibling               <0x0000053c>
+< 2><0x0000051f>      DW_TAG_member
+                        DW_AT_name                  "pred"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000039
+                        DW_AT_type                  <0x00000083>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x0000052d>      DW_TAG_member
+                        DW_AT_name                  "function"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x0000003a
+                        DW_AT_type                  <0x00000081>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 1><0x0000053c>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_propositional_symbol_t"
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x0000003d
+                      DW_AT_type                  <0x00000547>
+< 1><0x00000547>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x00000513>
+< 1><0x0000054d>    DW_TAG_subprogram
+                      DW_AT_name                  "xbt_malloc0"
+                      DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/sysdep.h
+                      DW_AT_decl_line             0x00000069
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x00000081>
+                      DW_AT_inline                DW_INL_declared_inlined
+                      DW_AT_sibling               <0x0000059d>
+< 2><0x0000055e>      DW_TAG_formal_parameter
+                        DW_AT_name                  "n"
+                        DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/sysdep.h
+                        DW_AT_decl_line             0x00000069
+                        DW_AT_type                  <0x00000031>
+< 2><0x00000567>      DW_TAG_variable
+                        DW_AT_name                  "res"
+                        DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/sysdep.h
+                        DW_AT_decl_line             0x0000006b
+                        DW_AT_type                  <0x00000081>
+< 2><0x00000572>      DW_TAG_variable
+                        DW_AT_name                  "__FUNCTION__"
+                        DW_AT_type                  <0x000005ad>
+                        DW_AT_artificial            yes(1)
+                        DW_AT_const_value           "xbt_malloc0"
+< 2><0x00000580>      DW_TAG_lexical_block
+< 3><0x00000581>        DW_TAG_variable
+                          DW_AT_name                  "_simgrid_log_category__xbt"
+                          DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/sysdep.h
+                          DW_AT_decl_line             0x0000006f
+                          DW_AT_type                  <0x000002cf>
+                          DW_AT_external              yes(1)
+                          DW_AT_declaration           yes(1)
+< 3><0x0000058e>        DW_TAG_lexical_block
+< 4><0x0000058f>          DW_TAG_variable
+                            DW_AT_name                  "_log_ev"
+                            DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/sysdep.h
+                            DW_AT_decl_line             0x0000006f
+                            DW_AT_type                  <0x0000023f>
+< 1><0x0000059d>    DW_TAG_array_type
+                      DW_AT_type                  <0x00000089>
+                      DW_AT_sibling               <0x000005ad>
+< 2><0x000005a6>      DW_TAG_subrange_type
+                        DW_AT_type                  <0x0000003c>
+                        DW_AT_upper_bound           11
+< 1><0x000005ad>    DW_TAG_const_type
+                      DW_AT_type                  <0x0000059d>
+< 1><0x000005b2>    DW_TAG_subprogram
+                      DW_AT_name                  "_xbt_dynar_cursor_first"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
+                      DW_AT_decl_line             0x000000e6
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x00402ca4
+                      DW_AT_high_pc               0x00402cdd
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000000><highpc=0x00000001>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000001><highpc=0x00000004>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000004><highpc=0x00000038>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000038><highpc=0x00000039>DW_OP_breg7+8
+                      DW_AT_sibling               <0x000005ef>
+< 2><0x000005d2>      DW_TAG_formal_parameter
+                        DW_AT_name                  "dynar"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000e6
+                        DW_AT_type                  <0x000005ef>
+                        DW_AT_location              DW_OP_fbreg -24
+< 2><0x000005e0>      DW_TAG_formal_parameter
+                        DW_AT_name                  "cursor"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000e7
+                        DW_AT_type                  <0x000005f4>
+                        DW_AT_location              DW_OP_fbreg -32
+< 1><0x000005ef>    DW_TAG_const_type
+                      DW_AT_type                  <0x000000cd>
+< 1><0x000005f4>    DW_TAG_const_type
+                      DW_AT_type                  <0x000005f9>
+< 1><0x000005f9>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x0000004a>
+< 1><0x000005ff>    DW_TAG_subprogram
+                      DW_AT_name                  "_xbt_dynar_cursor_get"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
+                      DW_AT_decl_line             0x000000f2
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x00000043>
+                      DW_AT_low_pc                0x00402cdd
+                      DW_AT_high_pc               0x00402d5f
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000039><highpc=0x0000003a>DW_OP_breg7+8
+                       [ 1]<lowpc=0x0000003a><highpc=0x0000003d>DW_OP_breg7+16
+                       [ 2]<lowpc=0x0000003d><highpc=0x000000ba>DW_OP_breg6+16
+                       [ 3]<lowpc=0x000000ba><highpc=0x000000bb>DW_OP_breg7+8
+                      DW_AT_sibling               <0x0000064e>
+< 2><0x00000623>      DW_TAG_formal_parameter
+                        DW_AT_name                  "dynar"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000f2
+                        DW_AT_type                  <0x000005ef>
+                        DW_AT_location              DW_OP_fbreg -24
+< 2><0x00000631>      DW_TAG_formal_parameter
+                        DW_AT_name                  "idx"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000f3
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_location              DW_OP_fbreg -28
+< 2><0x0000063f>      DW_TAG_formal_parameter
+                        DW_AT_name                  "dst"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000f3
+                        DW_AT_type                  <0x0000064e>
+                        DW_AT_location              DW_OP_fbreg -40
+< 1><0x0000064e>    DW_TAG_const_type
+                      DW_AT_type                  <0x00000081>
+< 1><0x00000653>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_new_automaton"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x00000003
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x00000433>
+                      DW_AT_low_pc                0x00402d5f
+                      DW_AT_high_pc               0x00402e52
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x000000bb><highpc=0x000000bc>DW_OP_breg7+8
+                       [ 1]<lowpc=0x000000bc><highpc=0x000000bf>DW_OP_breg7+16
+                       [ 2]<lowpc=0x000000bf><highpc=0x000001ad>DW_OP_breg6+16
+                       [ 3]<lowpc=0x000001ad><highpc=0x000001ae>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000703>
+< 2><0x00000678>      DW_TAG_variable
+                        DW_AT_name                  "automaton"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000004
+                        DW_AT_type                  <0x00000433>
+                        DW_AT_location              DW_OP_fbreg -24
+< 2><0x00000686>      DW_TAG_inlined_subroutine
+                        DW_AT_abstract_origin       <0x0000054d>
+                        DW_AT_low_pc                0x00402d77
+                        DW_AT_high_pc               0x00402e08
+                        DW_AT_call_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_call_line             0x00000005
+< 3><0x0000069d>        DW_TAG_formal_parameter
+                          DW_AT_abstract_origin       <0x0000055e>
+                          DW_AT_location              DW_OP_fbreg -32
+< 3><0x000006a5>        DW_TAG_lexical_block
+                          DW_AT_low_pc                0x00402d77
+                          DW_AT_high_pc               0x00402e08
+< 4><0x000006b6>          DW_TAG_variable
+                            DW_AT_abstract_origin       <0x00000567>
+                            DW_AT_location              DW_OP_fbreg -40
+< 4><0x000006be>          DW_TAG_variable
+                            DW_AT_abstract_origin       <0x00000572>
+                            DW_AT_location              DW_OP_addr 0x00407828
+< 4><0x000006cd>          DW_TAG_lexical_block
+                            DW_AT_low_pc                0x00402d93
+                            DW_AT_high_pc               0x00402e00
+< 5><0x000006de>            DW_TAG_variable
+                              DW_AT_abstract_origin       <0x00000581>
+                              DW_AT_declaration           yes(1)
+< 5><0x000006e4>            DW_TAG_lexical_block
+                              DW_AT_low_pc                0x00402dbb
+                              DW_AT_high_pc               0x00402dfb
+< 6><0x000006f5>              DW_TAG_variable
+                                DW_AT_abstract_origin       <0x0000058f>
+                                DW_AT_location              DW_OP_fbreg -128
+< 1><0x00000703>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_new_state"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x0000000c
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x000003dd>
+                      DW_AT_low_pc                0x00402e52
+                      DW_AT_high_pc               0x00402f8c
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x000001ae><highpc=0x000001af>DW_OP_breg7+8
+                       [ 1]<lowpc=0x000001af><highpc=0x000001b2>DW_OP_breg7+16
+                       [ 2]<lowpc=0x000001b2><highpc=0x000002e7>DW_OP_breg6+16
+                       [ 3]<lowpc=0x000002e7><highpc=0x000002e8>DW_OP_breg7+8
+                      DW_AT_sibling               <0x000007dd>
+< 2><0x00000728>      DW_TAG_formal_parameter
+                        DW_AT_name                  "a"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000000c
+                        DW_AT_type                  <0x00000433>
+                        DW_AT_location              DW_OP_fbreg -152
+< 2><0x00000735>      DW_TAG_formal_parameter
+                        DW_AT_name                  "type"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000000c
+                        DW_AT_type                  <0x00000043>
+                        DW_AT_location              DW_OP_fbreg -156
+< 2><0x00000744>      DW_TAG_formal_parameter
+                        DW_AT_name                  "id"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000000c
+                        DW_AT_type                  <0x00000083>
+                        DW_AT_location              DW_OP_fbreg -168
+< 2><0x00000752>      DW_TAG_variable
+                        DW_AT_name                  "state"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000000d
+                        DW_AT_type                  <0x000003dd>
+                        DW_AT_location              DW_OP_fbreg -56
+< 2><0x00000760>      DW_TAG_inlined_subroutine
+                        DW_AT_abstract_origin       <0x0000054d>
+                        DW_AT_low_pc                0x00402e82
+                        DW_AT_high_pc               0x00402f0f
+                        DW_AT_call_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_call_line             0x0000000e
+< 3><0x00000777>        DW_TAG_formal_parameter
+                          DW_AT_abstract_origin       <0x0000055e>
+                          DW_AT_location              DW_OP_fbreg -40
+< 3><0x0000077f>        DW_TAG_lexical_block
+                          DW_AT_low_pc                0x00402e82
+                          DW_AT_high_pc               0x00402f0f
+< 4><0x00000790>          DW_TAG_variable
+                            DW_AT_abstract_origin       <0x00000567>
+                            DW_AT_location              DW_OP_fbreg -48
+< 4><0x00000798>          DW_TAG_variable
+                            DW_AT_abstract_origin       <0x00000572>
+                            DW_AT_location              DW_OP_addr 0x00407828
+< 4><0x000007a7>          DW_TAG_lexical_block
+                            DW_AT_low_pc                0x00402e9e
+                            DW_AT_high_pc               0x00402f0b
+< 5><0x000007b8>            DW_TAG_variable
+                              DW_AT_abstract_origin       <0x00000581>
+                              DW_AT_declaration           yes(1)
+< 5><0x000007be>            DW_TAG_lexical_block
+                              DW_AT_low_pc                0x00402ec6
+                              DW_AT_high_pc               0x00402f06
+< 6><0x000007cf>              DW_TAG_variable
+                                DW_AT_abstract_origin       <0x0000058f>
+                                DW_AT_location              DW_OP_fbreg -144
+< 1><0x000007dd>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_new_transition"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x00000017
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x00000502>
+                      DW_AT_low_pc                0x00402f8c
+                      DW_AT_high_pc               0x004030d6
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x000002e8><highpc=0x000002e9>DW_OP_breg7+8
+                       [ 1]<lowpc=0x000002e9><highpc=0x000002ec>DW_OP_breg7+16
+                       [ 2]<lowpc=0x000002ec><highpc=0x00000431>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000431><highpc=0x00000432>DW_OP_breg7+8
+                      DW_AT_sibling               <0x000008c7>
+< 2><0x00000802>      DW_TAG_formal_parameter
+                        DW_AT_name                  "a"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000017
+                        DW_AT_type                  <0x00000433>
+                        DW_AT_location              DW_OP_fbreg -136
+< 2><0x0000080f>      DW_TAG_formal_parameter
+                        DW_AT_name                  "src"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000017
+                        DW_AT_type                  <0x000003dd>
+                        DW_AT_location              DW_OP_fbreg -144
+< 2><0x0000081e>      DW_TAG_formal_parameter
+                        DW_AT_name                  "dst"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000017
+                        DW_AT_type                  <0x000003dd>
+                        DW_AT_location              DW_OP_fbreg -152
+< 2><0x0000082d>      DW_TAG_formal_parameter
+                        DW_AT_name                  "label"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000017
+                        DW_AT_type                  <0x000004c0>
+                        DW_AT_location              DW_OP_fbreg -160
+< 2><0x0000083c>      DW_TAG_variable
+                        DW_AT_name                  "transition"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000018
+                        DW_AT_type                  <0x00000502>
+                        DW_AT_location              DW_OP_fbreg -40
+< 2><0x0000084a>      DW_TAG_inlined_subroutine
+                        DW_AT_abstract_origin       <0x0000054d>
+                        DW_AT_low_pc                0x00402fbd
+                        DW_AT_high_pc               0x0040304a
+                        DW_AT_call_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_call_line             0x00000019
+< 3><0x00000861>        DW_TAG_formal_parameter
+                          DW_AT_abstract_origin       <0x0000055e>
+                          DW_AT_location              DW_OP_fbreg -24
+< 3><0x00000869>        DW_TAG_lexical_block
+                          DW_AT_low_pc                0x00402fbd
+                          DW_AT_high_pc               0x0040304a
+< 4><0x0000087a>          DW_TAG_variable
+                            DW_AT_abstract_origin       <0x00000567>
+                            DW_AT_location              DW_OP_fbreg -32
+< 4><0x00000882>          DW_TAG_variable
+                            DW_AT_abstract_origin       <0x00000572>
+                            DW_AT_location              DW_OP_addr 0x00407828
+< 4><0x00000891>          DW_TAG_lexical_block
+                            DW_AT_low_pc                0x00402fd9
+                            DW_AT_high_pc               0x00403046
+< 5><0x000008a2>            DW_TAG_variable
+                              DW_AT_abstract_origin       <0x00000581>
+                              DW_AT_declaration           yes(1)
+< 5><0x000008a8>            DW_TAG_lexical_block
+                              DW_AT_low_pc                0x00403001
+                              DW_AT_high_pc               0x00403041
+< 6><0x000008b9>              DW_TAG_variable
+                                DW_AT_abstract_origin       <0x0000058f>
+                                DW_AT_location              DW_OP_fbreg -128
+< 1><0x000008c7>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_new_label"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x00000027
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x000004c0>
+                      DW_AT_low_pc                0x004030d6
+                      DW_AT_high_pc               0x004034c8
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000432><highpc=0x00000433>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000433><highpc=0x00000436>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000436><highpc=0x00000823>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000823><highpc=0x00000824>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000a48>
+< 2><0x000008ec>      DW_TAG_formal_parameter
+                        DW_AT_name                  "type"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000027
+                        DW_AT_type                  <0x00000043>
+                        DW_AT_location              DW_OP_fbreg -372
+< 2><0x000008fb>      DW_TAG_unspecified_parameters
+< 2><0x000008fc>      DW_TAG_variable
+                        DW_AT_name                  "label"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000028
+                        DW_AT_type                  <0x000004c0>
+                        DW_AT_location              DW_OP_fbreg -200
+< 2><0x0000090b>      DW_TAG_variable
+                        DW_AT_name                  "ap"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000002c
+                        DW_AT_type                  <0x000001b6>
+                        DW_AT_location              DW_OP_fbreg -288
+< 2><0x00000919>      DW_TAG_inlined_subroutine
+                        DW_AT_abstract_origin       <0x0000054d>
+                        DW_AT_low_pc                0x00403144
+                        DW_AT_high_pc               0x004031fd
+                        DW_AT_call_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_call_line             0x00000029
+                        DW_AT_sibling               <0x0000099b>
+< 3><0x00000934>        DW_TAG_formal_parameter
+                          DW_AT_abstract_origin       <0x0000055e>
+                          DW_AT_location              DW_OP_fbreg -256
+< 3><0x0000093d>        DW_TAG_lexical_block
+                          DW_AT_low_pc                0x00403144
+                          DW_AT_high_pc               0x004031fd
+< 4><0x0000094e>          DW_TAG_variable
+                            DW_AT_abstract_origin       <0x00000567>
+                            DW_AT_location              DW_OP_fbreg -264
+< 4><0x00000957>          DW_TAG_variable
+                            DW_AT_abstract_origin       <0x00000572>
+                            DW_AT_location              DW_OP_addr 0x00407828
+< 4><0x00000966>          DW_TAG_lexical_block
+                            DW_AT_low_pc                0x0040316d
+                            DW_AT_high_pc               0x004031ef
+< 5><0x00000977>            DW_TAG_variable
+                              DW_AT_abstract_origin       <0x00000581>
+                              DW_AT_declaration           yes(1)
+< 5><0x0000097d>            DW_TAG_lexical_block
+                              DW_AT_low_pc                0x00403195
+                              DW_AT_high_pc               0x004031ea
+< 6><0x0000098e>              DW_TAG_variable
+                                DW_AT_abstract_origin       <0x0000058f>
+                                DW_AT_location              DW_OP_fbreg -368
+< 2><0x0000099b>      DW_TAG_lexical_block
+                        DW_AT_low_pc                0x0040326d
+                        DW_AT_high_pc               0x00403330
+                        DW_AT_sibling               <0x000009cf>
+< 3><0x000009b0>        DW_TAG_variable
+                          DW_AT_name                  "left"
+                          DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                          DW_AT_decl_line             0x00000030
+                          DW_AT_type                  <0x000004c0>
+                          DW_AT_location              DW_OP_fbreg -208
+< 3><0x000009bf>        DW_TAG_variable
+                          DW_AT_name                  "right"
+                          DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                          DW_AT_decl_line             0x00000031
+                          DW_AT_type                  <0x000004c0>
+                          DW_AT_location              DW_OP_fbreg -216
+< 2><0x000009cf>      DW_TAG_lexical_block
+                        DW_AT_low_pc                0x00403330
+                        DW_AT_high_pc               0x004033f3
+                        DW_AT_sibling               <0x00000a03>
+< 3><0x000009e4>        DW_TAG_variable
+                          DW_AT_name                  "left"
+                          DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                          DW_AT_decl_line             0x00000037
+                          DW_AT_type                  <0x000004c0>
+                          DW_AT_location              DW_OP_fbreg -224
+< 3><0x000009f3>        DW_TAG_variable
+                          DW_AT_name                  "right"
+                          DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                          DW_AT_decl_line             0x00000038
+                          DW_AT_type                  <0x000004c0>
+                          DW_AT_location              DW_OP_fbreg -232
+< 2><0x00000a03>      DW_TAG_lexical_block
+                        DW_AT_low_pc                0x004033f3
+                        DW_AT_high_pc               0x00403454
+                        DW_AT_sibling               <0x00000a28>
+< 3><0x00000a18>        DW_TAG_variable
+                          DW_AT_name                  "exp_not"
+                          DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                          DW_AT_decl_line             0x0000003e
+                          DW_AT_type                  <0x000004c0>
+                          DW_AT_location              DW_OP_fbreg -240
+< 2><0x00000a28>      DW_TAG_lexical_block
+                        DW_AT_low_pc                0x00403454
+                        DW_AT_high_pc               0x004034bf
+< 3><0x00000a39>        DW_TAG_variable
+                          DW_AT_name                  "p"
+                          DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                          DW_AT_decl_line             0x00000043
+                          DW_AT_type                  <0x00000083>
+                          DW_AT_location              DW_OP_fbreg -248
+< 1><0x00000a48>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_get_states"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x0000004d
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x000000cd>
+                      DW_AT_low_pc                0x004034c8
+                      DW_AT_high_pc               0x004034da
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000824><highpc=0x00000825>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000825><highpc=0x00000828>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000828><highpc=0x00000835>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000835><highpc=0x00000836>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000a7a>
+< 2><0x00000a6d>      DW_TAG_formal_parameter
+                        DW_AT_name                  "a"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000004d
+                        DW_AT_type                  <0x00000433>
+                        DW_AT_location              DW_OP_fbreg -24
+< 1><0x00000a7a>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_get_transitions"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x00000051
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x000000cd>
+                      DW_AT_low_pc                0x004034da
+                      DW_AT_high_pc               0x004034ec
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000836><highpc=0x00000837>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000837><highpc=0x0000083a>DW_OP_breg7+16
+                       [ 2]<lowpc=0x0000083a><highpc=0x00000847>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000847><highpc=0x00000848>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000aac>
+< 2><0x00000a9f>      DW_TAG_formal_parameter
+                        DW_AT_name                  "a"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000051
+                        DW_AT_type                  <0x00000433>
+                        DW_AT_location              DW_OP_fbreg -24
+< 1><0x00000aac>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_get_transition"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x00000055
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x00000502>
+                      DW_AT_low_pc                0x004034ec
+                      DW_AT_high_pc               0x00403567
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000848><highpc=0x00000849>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000849><highpc=0x0000084c>DW_OP_breg7+16
+                       [ 2]<lowpc=0x0000084c><highpc=0x000008c2>DW_OP_breg6+16
+                       [ 3]<lowpc=0x000008c2><highpc=0x000008c3>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000b16>
+< 2><0x00000ad1>      DW_TAG_formal_parameter
+                        DW_AT_name                  "a"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000055
+                        DW_AT_type                  <0x00000433>
+                        DW_AT_location              DW_OP_fbreg -40
+< 2><0x00000add>      DW_TAG_formal_parameter
+                        DW_AT_name                  "src"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000055
+                        DW_AT_type                  <0x000003dd>
+                        DW_AT_location              DW_OP_fbreg -48
+< 2><0x00000aeb>      DW_TAG_formal_parameter
+                        DW_AT_name                  "dst"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000055
+                        DW_AT_type                  <0x000003dd>
+                        DW_AT_location              DW_OP_fbreg -56
+< 2><0x00000af9>      DW_TAG_variable
+                        DW_AT_name                  "transition"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000056
+                        DW_AT_type                  <0x00000502>
+                        DW_AT_location              DW_OP_fbreg -24
+< 2><0x00000b07>      DW_TAG_variable
+                        DW_AT_name                  "cursor"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000057
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_location              DW_OP_fbreg -28
+< 1><0x00000b16>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_free_automaton"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x0000005f
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x00403567
+                      DW_AT_high_pc               0x00403708
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x000008c3><highpc=0x000008c4>DW_OP_breg7+8
+                       [ 1]<lowpc=0x000008c4><highpc=0x000008c7>DW_OP_breg7+16
+                       [ 2]<lowpc=0x000008c7><highpc=0x00000a63>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000a63><highpc=0x00000a64>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000b7c>
+< 2><0x00000b37>      DW_TAG_formal_parameter
+                        DW_AT_name                  "a"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000005f
+                        DW_AT_type                  <0x00000433>
+                        DW_AT_location              DW_OP_fbreg -56
+< 2><0x00000b43>      DW_TAG_formal_parameter
+                        DW_AT_name                  "transition_free_function"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000005f
+                        DW_AT_type                  <0x000000a9>
+                        DW_AT_location              DW_OP_fbreg -64
+< 2><0x00000b51>      DW_TAG_variable
+                        DW_AT_name                  "cursor"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000060
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_location              DW_OP_fbreg -20
+< 2><0x00000b5f>      DW_TAG_variable
+                        DW_AT_name                  "state"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000061
+                        DW_AT_type                  <0x000003dd>
+                        DW_AT_location              DW_OP_fbreg -32
+< 2><0x00000b6d>      DW_TAG_variable
+                        DW_AT_name                  "transition"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000062
+                        DW_AT_type                  <0x00000502>
+                        DW_AT_location              DW_OP_fbreg -40
+< 1><0x00000b7c>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_free_state"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x0000007b
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x00403708
+                      DW_AT_high_pc               0x0040384e
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000a64><highpc=0x00000a65>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000a65><highpc=0x00000a68>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000a68><highpc=0x00000ba9>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000ba9><highpc=0x00000baa>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000c0b>
+< 2><0x00000b9d>      DW_TAG_formal_parameter
+                        DW_AT_name                  "a"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000007b
+                        DW_AT_type                  <0x00000433>
+                        DW_AT_location              DW_OP_fbreg -72
+< 2><0x00000baa>      DW_TAG_formal_parameter
+                        DW_AT_name                  "s"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000007b
+                        DW_AT_type                  <0x000003dd>
+                        DW_AT_location              DW_OP_fbreg -80
+< 2><0x00000bb7>      DW_TAG_formal_parameter
+                        DW_AT_name                  "transition_free_function"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000007b
+                        DW_AT_type                  <0x000000a9>
+                        DW_AT_location              DW_OP_fbreg -88
+< 2><0x00000bc6>      DW_TAG_variable
+                        DW_AT_name                  "nbr"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000007c
+                        DW_AT_type                  <0x0000003c>
+                        DW_AT_location              DW_OP_fbreg -32
+< 2><0x00000bd4>      DW_TAG_variable
+                        DW_AT_name                  "i"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000007d
+                        DW_AT_type                  <0x0000003c>
+                        DW_AT_location              DW_OP_fbreg -24
+< 2><0x00000be0>      DW_TAG_variable
+                        DW_AT_name                  "cursor"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000007e
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_location              DW_OP_fbreg -36
+< 2><0x00000bee>      DW_TAG_variable
+                        DW_AT_name                  "state"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000007f
+                        DW_AT_type                  <0x000003dd>
+                        DW_AT_location              DW_OP_fbreg -48
+< 2><0x00000bfc>      DW_TAG_variable
+                        DW_AT_name                  "transition"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000080
+                        DW_AT_type                  <0x00000502>
+                        DW_AT_location              DW_OP_fbreg -56
+< 1><0x00000c0b>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_free_transition"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x00000099
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x0040384e
+                      DW_AT_high_pc               0x00403987
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000baa><highpc=0x00000bab>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000bab><highpc=0x00000bae>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000bae><highpc=0x00000ce2>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000ce2><highpc=0x00000ce3>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000c7d>
+< 2><0x00000c2c>      DW_TAG_formal_parameter
+                        DW_AT_name                  "a"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000099
+                        DW_AT_type                  <0x00000433>
+                        DW_AT_location              DW_OP_fbreg -40
+< 2><0x00000c38>      DW_TAG_formal_parameter
+                        DW_AT_name                  "t"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000099
+                        DW_AT_type                  <0x00000502>
+                        DW_AT_location              DW_OP_fbreg -48
+< 2><0x00000c44>      DW_TAG_formal_parameter
+                        DW_AT_name                  "transition_free_function"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000099
+                        DW_AT_type                  <0x000000a9>
+                        DW_AT_location              DW_OP_fbreg -56
+< 2><0x00000c52>      DW_TAG_variable
+                        DW_AT_name                  "index"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000009a
+                        DW_AT_type                  <0x00000043>
+                        DW_AT_location              DW_OP_fbreg -20
+< 2><0x00000c60>      DW_TAG_variable
+                        DW_AT_name                  "cursor"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000009b
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_location              DW_OP_fbreg -24
+< 2><0x00000c6e>      DW_TAG_variable
+                        DW_AT_name                  "transition"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000009c
+                        DW_AT_type                  <0x00000502>
+                        DW_AT_location              DW_OP_fbreg -32
+< 1><0x00000c7d>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_transition_get_source"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x000000ae
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x000003dd>
+                      DW_AT_low_pc                0x00403987
+                      DW_AT_high_pc               0x00403998
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000ce3><highpc=0x00000ce4>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000ce4><highpc=0x00000ce7>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000ce7><highpc=0x00000cf3>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000cf3><highpc=0x00000cf4>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000caf>
+< 2><0x00000ca2>      DW_TAG_formal_parameter
+                        DW_AT_name                  "t"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x000000ae
+                        DW_AT_type                  <0x00000502>
+                        DW_AT_location              DW_OP_fbreg -24
+< 1><0x00000caf>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_transition_get_destination"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x000000b2
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x000003dd>
+                      DW_AT_low_pc                0x00403998
+                      DW_AT_high_pc               0x004039aa
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000cf4><highpc=0x00000cf5>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000cf5><highpc=0x00000cf8>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000cf8><highpc=0x00000d05>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000d05><highpc=0x00000d06>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000ce1>
+< 2><0x00000cd4>      DW_TAG_formal_parameter
+                        DW_AT_name                  "t"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x000000b2
+                        DW_AT_type                  <0x00000502>
+                        DW_AT_location              DW_OP_fbreg -24
+< 1><0x00000ce1>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_transition_set_source"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x000000b6
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x004039aa
+                      DW_AT_high_pc               0x004039de
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000d06><highpc=0x00000d07>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000d07><highpc=0x00000d0a>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000d0a><highpc=0x00000d39>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000d39><highpc=0x00000d3a>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000d1d>
+< 2><0x00000d02>      DW_TAG_formal_parameter
+                        DW_AT_name                  "t"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x000000b6
+                        DW_AT_type                  <0x00000502>
+                        DW_AT_location              DW_OP_fbreg -24
+< 2><0x00000d0e>      DW_TAG_formal_parameter
+                        DW_AT_name                  "src"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x000000b6
+                        DW_AT_type                  <0x000003dd>
+                        DW_AT_location              DW_OP_fbreg -32
+< 1><0x00000d1d>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_transition_set_destination"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x000000bb
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x004039de
+                      DW_AT_high_pc               0x00403a13
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000d3a><highpc=0x00000d3b>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000d3b><highpc=0x00000d3e>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000d3e><highpc=0x00000d6e>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000d6e><highpc=0x00000d6f>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000d59>
+< 2><0x00000d3e>      DW_TAG_formal_parameter
+                        DW_AT_name                  "t"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x000000bb
+                        DW_AT_type                  <0x00000502>
+                        DW_AT_location              DW_OP_fbreg -24
+< 2><0x00000d4a>      DW_TAG_formal_parameter
+                        DW_AT_name                  "dst"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x000000bb
+                        DW_AT_type                  <0x000003dd>
+                        DW_AT_location              DW_OP_fbreg -32
+< 1><0x00000d59>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_state_get_out_transitions"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x000000c0
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x000000cd>
+                      DW_AT_low_pc                0x00403a13
+                      DW_AT_high_pc               0x00403a25
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000d6f><highpc=0x00000d70>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000d70><highpc=0x00000d73>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000d73><highpc=0x00000d80>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000d80><highpc=0x00000d81>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000d8b>
+< 2><0x00000d7e>      DW_TAG_formal_parameter
+                        DW_AT_name                  "s"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x000000c0
+                        DW_AT_type                  <0x000003dd>
+                        DW_AT_location              DW_OP_fbreg -24
+< 1><0x00000d8b>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_state_get_in_transitions"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x000000c4
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x000000cd>
+                      DW_AT_low_pc                0x00403a25
+                      DW_AT_high_pc               0x00403a37
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000d81><highpc=0x00000d82>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000d82><highpc=0x00000d85>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000d85><highpc=0x00000d92>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000d92><highpc=0x00000d93>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000dbd>
+< 2><0x00000db0>      DW_TAG_formal_parameter
+                        DW_AT_name                  "s"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x000000c4
+                        DW_AT_type                  <0x000003dd>
+                        DW_AT_location              DW_OP_fbreg -24
+< 1><0x00000dbd>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_state_exists"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x000000c8
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x000003dd>
+                      DW_AT_low_pc                0x00403a37
+                      DW_AT_high_pc               0x00403abc
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000d93><highpc=0x00000d94>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000d94><highpc=0x00000d97>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000d97><highpc=0x00000e17>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000e17><highpc=0x00000e18>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000e18>
+< 2><0x00000de2>      DW_TAG_formal_parameter
+                        DW_AT_name                  "a"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x000000c8
+                        DW_AT_type                  <0x00000433>
+                        DW_AT_location              DW_OP_fbreg -40
+< 2><0x00000dee>      DW_TAG_formal_parameter
+                        DW_AT_name                  "id"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x000000c8
+                        DW_AT_type                  <0x00000083>
+                        DW_AT_location              DW_OP_fbreg -48
+< 2><0x00000dfb>      DW_TAG_variable
+                        DW_AT_name                  "state"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x000000c9
+                        DW_AT_type                  <0x000003dd>
+                        DW_AT_location              DW_OP_fbreg -24
+< 2><0x00000e09>      DW_TAG_variable
+                        DW_AT_name                  "cursor"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x000000ca
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_location              DW_OP_fbreg -28
+< 1><0x00000e18>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_display"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x000000d2
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x00403abc
+                      DW_AT_high_pc               0x00403c2d
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000e18><highpc=0x00000e19>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000e19><highpc=0x00000e1c>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000e1c><highpc=0x00000f88>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000f88><highpc=0x00000f89>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000e70>
+< 2><0x00000e39>      DW_TAG_formal_parameter
+                        DW_AT_name                  "a"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x000000d2
+                        DW_AT_type                  <0x00000433>
+                        DW_AT_location              DW_OP_fbreg -56
+< 2><0x00000e45>      DW_TAG_variable
+                        DW_AT_name                  "cursor"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x000000d3
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_location              DW_OP_fbreg -20
+< 2><0x00000e53>      DW_TAG_variable
+                        DW_AT_name                  "state"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x000000d4
+                        DW_AT_type                  <0x000003dd>
+                        DW_AT_location              DW_OP_fbreg -32
+< 2><0x00000e61>      DW_TAG_variable
+                        DW_AT_name                  "transition"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x000000e0
+                        DW_AT_type                  <0x00000502>
+                        DW_AT_location              DW_OP_fbreg -40
+< 1><0x00000e70>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_display_exp"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x000000ea
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x00403c2d
+                      DW_AT_high_pc               0x00403d3a
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000f89><highpc=0x00000f8a>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000f8a><highpc=0x00000f8d>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000f8d><highpc=0x00001095>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00001095><highpc=0x00001096>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000ea0>
+< 2><0x00000e91>      DW_TAG_formal_parameter
+                        DW_AT_name                  "label"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x000000ea
+                        DW_AT_type                  <0x000004c0>
+                        DW_AT_location              DW_OP_fbreg -24
+< 1><0x00000ea0>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_automaton_get_current_state"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x0000010a
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x000003dd>
+                      DW_AT_low_pc                0x00403d3a
+                      DW_AT_high_pc               0x00403d4c
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00001096><highpc=0x00001097>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00001097><highpc=0x0000109a>DW_OP_breg7+16
+                       [ 2]<lowpc=0x0000109a><highpc=0x000010a7>DW_OP_breg6+16
+                       [ 3]<lowpc=0x000010a7><highpc=0x000010a8>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000ed4>
+< 2><0x00000ec6>      DW_TAG_formal_parameter
+                        DW_AT_name                  "a"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000010a
+                        DW_AT_type                  <0x00000433>
+                        DW_AT_location              DW_OP_fbreg -24
+< 1><0x00000ed4>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "xbt_new_propositional_symbol"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x0000010e
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x0000053c>
+                      DW_AT_low_pc                0x00403d4c
+                      DW_AT_high_pc               0x00403e5a
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x000010a8><highpc=0x000010a9>DW_OP_breg7+8
+                       [ 1]<lowpc=0x000010a9><highpc=0x000010ac>DW_OP_breg7+16
+                       [ 2]<lowpc=0x000010ac><highpc=0x000011b5>DW_OP_breg6+16
+                       [ 3]<lowpc=0x000011b5><highpc=0x000011b6>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000fb4>
+< 2><0x00000efa>      DW_TAG_formal_parameter
+                        DW_AT_name                  "a"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000010e
+                        DW_AT_type                  <0x00000433>
+                        DW_AT_location              DW_OP_fbreg -152
+< 2><0x00000f08>      DW_TAG_formal_parameter
+                        DW_AT_name                  "id"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000010e
+                        DW_AT_type                  <0x0000009e>
+                        DW_AT_location              DW_OP_fbreg -160
+< 2><0x00000f17>      DW_TAG_formal_parameter
+                        DW_AT_name                  "fct"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000010e
+                        DW_AT_type                  <0x00000081>
+                        DW_AT_location              DW_OP_fbreg -168
+< 2><0x00000f27>      DW_TAG_variable
+                        DW_AT_name                  "prop_symb"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000010f
+                        DW_AT_type                  <0x0000053c>
+                        DW_AT_location              DW_OP_fbreg -56
+< 2><0x00000f36>      DW_TAG_inlined_subroutine
+                        DW_AT_abstract_origin       <0x0000054d>
+                        DW_AT_low_pc                0x00403d7d
+                        DW_AT_high_pc               0x00403e0a
+                        DW_AT_call_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_call_line             0x00000110
+< 3><0x00000f4e>        DW_TAG_formal_parameter
+                          DW_AT_abstract_origin       <0x0000055e>
+                          DW_AT_location              DW_OP_fbreg -40
+< 3><0x00000f56>        DW_TAG_lexical_block
+                          DW_AT_low_pc                0x00403d7d
+                          DW_AT_high_pc               0x00403e0a
+< 4><0x00000f67>          DW_TAG_variable
+                            DW_AT_abstract_origin       <0x00000567>
+                            DW_AT_location              DW_OP_fbreg -48
+< 4><0x00000f6f>          DW_TAG_variable
+                            DW_AT_abstract_origin       <0x00000572>
+                            DW_AT_location              DW_OP_addr 0x00407828
+< 4><0x00000f7e>          DW_TAG_lexical_block
+                            DW_AT_low_pc                0x00403d99
+                            DW_AT_high_pc               0x00403e06
+< 5><0x00000f8f>            DW_TAG_variable
+                              DW_AT_abstract_origin       <0x00000581>
+                              DW_AT_declaration           yes(1)
+< 5><0x00000f95>            DW_TAG_lexical_block
+                              DW_AT_low_pc                0x00403dc1
+                              DW_AT_high_pc               0x00403e01
+< 6><0x00000fa6>              DW_TAG_variable
+                                DW_AT_abstract_origin       <0x0000058f>
+                                DW_AT_location              DW_OP_fbreg -144
+< 1><0x00000fb4>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "automaton_state_compare"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x00000117
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x00000043>
+                      DW_AT_low_pc                0x00403e5a
+                      DW_AT_high_pc               0x00403eae
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x000011b6><highpc=0x000011b7>DW_OP_breg7+8
+                       [ 1]<lowpc=0x000011b7><highpc=0x000011ba>DW_OP_breg7+16
+                       [ 2]<lowpc=0x000011ba><highpc=0x00001209>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00001209><highpc=0x0000120a>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000ff7>
+< 2><0x00000fda>      DW_TAG_formal_parameter
+                        DW_AT_name                  "s1"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000117
+                        DW_AT_type                  <0x000003dd>
+                        DW_AT_location              DW_OP_fbreg -24
+< 2><0x00000fe8>      DW_TAG_formal_parameter
+                        DW_AT_name                  "s2"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000117
+                        DW_AT_type                  <0x000003dd>
+                        DW_AT_location              DW_OP_fbreg -32
+< 1><0x00000ff7>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "automaton_transition_compare"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x00000125
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x00000043>
+                      DW_AT_low_pc                0x00403eae
+                      DW_AT_high_pc               0x00403f35
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x0000120a><highpc=0x0000120b>DW_OP_breg7+8
+                       [ 1]<lowpc=0x0000120b><highpc=0x0000120e>DW_OP_breg7+16
+                       [ 2]<lowpc=0x0000120e><highpc=0x00001290>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00001290><highpc=0x00001291>DW_OP_breg7+8
+                      DW_AT_sibling               <0x0000103a>
+< 2><0x0000101d>      DW_TAG_formal_parameter
+                        DW_AT_name                  "t1"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000125
+                        DW_AT_type                  <0x00000097>
+                        DW_AT_location              DW_OP_fbreg -24
+< 2><0x0000102b>      DW_TAG_formal_parameter
+                        DW_AT_name                  "t2"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000125
+                        DW_AT_type                  <0x00000097>
+                        DW_AT_location              DW_OP_fbreg -32
+< 1><0x0000103a>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "automaton_label_transition_compare"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x00000134
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x00000043>
+                      DW_AT_low_pc                0x00403f35
+                      DW_AT_high_pc               0x00404005
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00001291><highpc=0x00001292>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00001292><highpc=0x00001295>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00001295><highpc=0x00001360>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00001360><highpc=0x00001361>DW_OP_breg7+8
+                      DW_AT_sibling               <0x0000107d>
+< 2><0x00001060>      DW_TAG_formal_parameter
+                        DW_AT_name                  "l1"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000134
+                        DW_AT_type                  <0x000004c0>
+                        DW_AT_location              DW_OP_fbreg -24
+< 2><0x0000106e>      DW_TAG_formal_parameter
+                        DW_AT_name                  "l2"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000134
+                        DW_AT_type                  <0x000004c0>
+                        DW_AT_location              DW_OP_fbreg -32
+< 1><0x0000107d>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "propositional_symbols_compare_value"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                      DW_AT_decl_line             0x00000158
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x00000043>
+                      DW_AT_low_pc                0x00404005
+                      DW_AT_high_pc               0x00404083
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00001361><highpc=0x00001362>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00001362><highpc=0x00001365>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00001365><highpc=0x000013de>DW_OP_breg6+16
+                       [ 3]<lowpc=0x000013de><highpc=0x000013df>DW_OP_breg7+8
+                      DW_AT_sibling               <0x000010fc>
+< 2><0x000010a3>      DW_TAG_formal_parameter
+                        DW_AT_name                  "s1"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000158
+                        DW_AT_type                  <0x000000cd>
+                        DW_AT_location              DW_OP_fbreg -56
+< 2><0x000010b1>      DW_TAG_formal_parameter
+                        DW_AT_name                  "s2"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x00000158
+                        DW_AT_type                  <0x000000cd>
+                        DW_AT_location              DW_OP_fbreg -64
+< 2><0x000010bf>      DW_TAG_variable
+                        DW_AT_name                  "iptr1"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000015a
+                        DW_AT_type                  <0x00000051>
+                        DW_AT_location              DW_OP_fbreg -32
+< 2><0x000010ce>      DW_TAG_variable
+                        DW_AT_name                  "iptr2"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000015a
+                        DW_AT_type                  <0x00000051>
+                        DW_AT_location              DW_OP_fbreg -40
+< 2><0x000010dd>      DW_TAG_variable
+                        DW_AT_name                  "cursor"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000015b
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_location              DW_OP_fbreg -20
+< 2><0x000010ec>      DW_TAG_variable
+                        DW_AT_name                  "nb_elem"
+                        DW_AT_decl_file             0x00000002 /home/marion/Simgrid/examples/msg/mc/automaton.c
+                        DW_AT_decl_line             0x0000015c
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_location              DW_OP_fbreg -24
+< 1><0x000010fc>    DW_TAG_variable
+                      DW_AT_name                  "_simgrid_log_category__xbt"
+                      DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/sysdep.h
+                      DW_AT_decl_line             0x0000007e
+                      DW_AT_type                  <0x000002cf>
+                      DW_AT_external              yes(1)
+                      DW_AT_declaration           yes(1)
+
+COMPILE_UNIT<header overall offset = 0x0000110a>:
+< 0><0x0000000b>  DW_TAG_compile_unit
+                    DW_AT_producer              "GNU C 4.6.3"
+                    DW_AT_language              DW_LANG_C89
+                    DW_AT_name                  "/home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c"
+                    DW_AT_comp_dir              "/home/marion/Simgrid/examples/msg/mc"
+                    DW_AT_low_pc                0x00404084
+                    DW_AT_high_pc               0x004045a4
+                    DW_AT_stmt_list             0x0000068f
+                    DW_AT_macro_info            34300
+
+LOCAL_SYMBOLS:
+< 1><0x00000031>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_encoding              DW_ATE_unsigned
+                      DW_AT_name                  "long unsigned int"
+< 1><0x00000038>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000004
+                      DW_AT_encoding              DW_ATE_signed
+                      DW_AT_name                  "int"
+< 1><0x0000003f>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000004
+                      DW_AT_encoding              DW_ATE_unsigned
+                      DW_AT_name                  "unsigned int"
+< 1><0x00000046>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_encoding              DW_ATE_signed
+                      DW_AT_name                  "long int"
+< 1><0x0000004d>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_encoding              DW_ATE_signed
+                      DW_AT_name                  "long long int"
+< 1><0x00000054>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000001
+                      DW_AT_encoding              DW_ATE_unsigned_char
+                      DW_AT_name                  "unsigned char"
+< 1><0x0000005b>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000002
+                      DW_AT_encoding              DW_ATE_unsigned
+                      DW_AT_name                  "short unsigned int"
+< 1><0x00000062>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000001
+                      DW_AT_encoding              DW_ATE_signed_char
+                      DW_AT_name                  "signed char"
+< 1><0x00000069>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000002
+                      DW_AT_encoding              DW_ATE_signed
+                      DW_AT_name                  "short int"
+< 1><0x00000070>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+< 1><0x00000072>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x00000078>
+< 1><0x00000078>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000001
+                      DW_AT_encoding              DW_ATE_signed_char
+                      DW_AT_name                  "char"
+< 1><0x0000007f>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_encoding              DW_ATE_unsigned
+                      DW_AT_name                  "long long unsigned int"
+< 1><0x00000086>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x0000008c>
+< 1><0x0000008c>    DW_TAG_const_type
+                      DW_AT_type                  <0x00000078>
+< 1><0x00000091>    DW_TAG_typedef
+                      DW_AT_name                  "void_f_pvoid_t"
+                      DW_AT_decl_file             0x00000002 /home/marion/Simgrid/include/xbt/function_types.h
+                      DW_AT_decl_line             0x00000011
+                      DW_AT_type                  <0x0000009c>
+< 1><0x0000009c>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x000000a2>
+< 1><0x000000a2>    DW_TAG_subroutine_type
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_sibling               <0x000000ae>
+< 2><0x000000a8>      DW_TAG_formal_parameter
+                        DW_AT_type                  <0x00000070>
+< 1><0x000000ae>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_encoding              DW_ATE_float
+                      DW_AT_name                  "double"
+< 1><0x000000b5>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_dynar_t"
+                      DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/dynar.h
+                      DW_AT_decl_line             0x0000003e
+                      DW_AT_type                  <0x000000c0>
+< 1><0x000000c0>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x000000c6>
+< 1><0x000000c6>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_dynar_s"
+                      DW_AT_byte_size             0x00000030
+                      DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/dynar.h
+                      DW_AT_decl_line             0x000000dc
+                      DW_AT_sibling               <0x00000127>
+< 2><0x000000d2>      DW_TAG_member
+                        DW_AT_name                  "size"
+                        DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000dd
+                        DW_AT_type                  <0x00000031>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x000000e0>      DW_TAG_member
+                        DW_AT_name                  "used"
+                        DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000de
+                        DW_AT_type                  <0x00000031>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x000000ee>      DW_TAG_member
+                        DW_AT_name                  "elmsize"
+                        DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000df
+                        DW_AT_type                  <0x00000031>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 2><0x000000fc>      DW_TAG_member
+                        DW_AT_name                  "data"
+                        DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000e0
+                        DW_AT_type                  <0x00000070>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 24
+< 2><0x0000010a>      DW_TAG_member
+                        DW_AT_name                  "free_f"
+                        DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000e1
+                        DW_AT_type                  <0x00000091>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 32
+< 2><0x00000118>      DW_TAG_member
+                        DW_AT_name                  "mutex"
+                        DW_AT_decl_file             0x00000003 /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000e2
+                        DW_AT_type                  <0x00000127>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 40
+< 1><0x00000127>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_mutex_t"
+                      DW_AT_decl_file             0x00000004 /home/marion/Simgrid/include/xbt/synchro_core.h
+                      DW_AT_decl_line             0x0000004a
+                      DW_AT_type                  <0x00000132>
+< 1><0x00000132>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x00000138>
+< 1><0x00000138>    DW_TAG_structure_type
+                      DW_AT_name                  "s_xbt_mutex_"
+                      DW_AT_declaration           yes(1)
+< 1><0x0000013e>    DW_TAG_typedef
+                      DW_AT_name                  "__gnuc_va_list"
+                      DW_AT_decl_file             0x00000005 /usr/lib/gcc/x86_64-linux-gnu/4.6/include/stdarg.h
+                      DW_AT_decl_line             0x00000028
+                      DW_AT_type                  <0x00000149>
+< 1><0x00000149>    DW_TAG_array_type
+                      DW_AT_type                  <0x00000159>
+                      DW_AT_sibling               <0x00000159>
+< 2><0x00000152>      DW_TAG_subrange_type
+                        DW_AT_type                  <0x00000031>
+                        DW_AT_upper_bound           0
+< 1><0x00000159>    DW_TAG_structure_type
+                      DW_AT_name                  "__va_list_tag"
+                      DW_AT_byte_size             0x00000018
+                      DW_AT_decl_file             0x00000006 /home/marion/Simgrid/examples/msg/mc/<built-in>
+                      DW_AT_decl_line             0x00000000
+                      DW_AT_sibling               <0x0000019e>
+< 2><0x00000165>      DW_TAG_member
+                        DW_AT_name                  "gp_offset"
+                        DW_AT_decl_file             0x00000006 /home/marion/Simgrid/examples/msg/mc/<built-in>
+                        DW_AT_decl_line             0x00000000
+                        DW_AT_type                  <0x0000003f>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x00000173>      DW_TAG_member
+                        DW_AT_name                  "fp_offset"
+                        DW_AT_decl_file             0x00000006 /home/marion/Simgrid/examples/msg/mc/<built-in>
+                        DW_AT_decl_line             0x00000000
+                        DW_AT_type                  <0x0000003f>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 4
+< 2><0x00000181>      DW_TAG_member
+                        DW_AT_name                  "overflow_arg_area"
+                        DW_AT_decl_file             0x00000006 /home/marion/Simgrid/examples/msg/mc/<built-in>
+                        DW_AT_decl_line             0x00000000
+                        DW_AT_type                  <0x00000070>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x0000018f>      DW_TAG_member
+                        DW_AT_name                  "reg_save_area"
+                        DW_AT_decl_file             0x00000006 /home/marion/Simgrid/examples/msg/mc/<built-in>
+                        DW_AT_decl_line             0x00000000
+                        DW_AT_type                  <0x00000070>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 1><0x0000019e>    DW_TAG_typedef
+                      DW_AT_name                  "va_list"
+                      DW_AT_decl_file             0x00000005 /usr/lib/gcc/x86_64-linux-gnu/4.6/include/stdarg.h
+                      DW_AT_decl_line             0x00000066
+                      DW_AT_type                  <0x0000013e>
+< 1><0x000001a9>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_log_appender_s"
+                      DW_AT_declaration           yes(1)
+< 1><0x000001af>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_log_appender_t"
+                      DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x000000f2
+                      DW_AT_type                  <0x000001ba>
+< 1><0x000001ba>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x000001a9>
+< 1><0x000001c0>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_log_layout_s"
+                      DW_AT_declaration           yes(1)
+< 1><0x000001c6>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_log_layout_t"
+                      DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x000000f3
+                      DW_AT_type                  <0x000001d1>
+< 1><0x000001d1>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x000001c0>
+< 1><0x000001d7>    DW_TAG_typedef
+                      DW_AT_name                  "s_xbt_log_category_t"
+                      DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x000000f5
+                      DW_AT_type                  <0x000001e2>
+< 1><0x000001e2>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_log_category_s"
+                      DW_AT_byte_size             0x00000050
+                      DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x000000fc
+                      DW_AT_sibling               <0x00000291>
+< 2><0x000001ee>      DW_TAG_member
+                        DW_AT_name                  "parent"
+                        DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x000000fd
+                        DW_AT_type                  <0x00000291>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x000001fc>      DW_TAG_member
+                        DW_AT_name                  "firstChild"
+                        DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x000000fe
+                        DW_AT_type                  <0x00000291>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x0000020a>      DW_TAG_member
+                        DW_AT_name                  "nextSibling"
+                        DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x000000ff
+                        DW_AT_type                  <0x00000291>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 2><0x00000218>      DW_TAG_member
+                        DW_AT_name                  "name"
+                        DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000100
+                        DW_AT_type                  <0x00000086>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 24
+< 2><0x00000227>      DW_TAG_member
+                        DW_AT_name                  "description"
+                        DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000101
+                        DW_AT_type                  <0x00000086>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 32
+< 2><0x00000236>      DW_TAG_member
+                        DW_AT_name                  "initialized"
+                        DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000102
+                        DW_AT_type                  <0x00000038>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 40
+< 2><0x00000245>      DW_TAG_member
+                        DW_AT_name                  "threshold"
+                        DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000103
+                        DW_AT_type                  <0x00000038>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 44
+< 2><0x00000254>      DW_TAG_member
+                        DW_AT_name                  "isThreshInherited"
+                        DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000104
+                        DW_AT_type                  <0x00000038>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 48
+< 2><0x00000263>      DW_TAG_member
+                        DW_AT_name                  "appender"
+                        DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000105
+                        DW_AT_type                  <0x000001af>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 56
+< 2><0x00000272>      DW_TAG_member
+                        DW_AT_name                  "layout"
+                        DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000106
+                        DW_AT_type                  <0x000001c6>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 64
+< 2><0x00000281>      DW_TAG_member
+                        DW_AT_name                  "additivity"
+                        DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000107
+                        DW_AT_type                  <0x00000038>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 72
+< 1><0x00000291>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_log_category_t"
+                      DW_AT_decl_file             0x00000007 /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x000000f6
+                      DW_AT_type                  <0x0000029c>
+< 1><0x0000029c>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x000001e2>
+< 1><0x000002a2>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_state"
+                      DW_AT_byte_size             0x00000020
+                      DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x0000000c
+                      DW_AT_sibling               <0x000002e5>
+< 2><0x000002ae>      DW_TAG_member
+                        DW_AT_name                  "id"
+                        DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x0000000d
+                        DW_AT_type                  <0x00000072>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x000002bb>      DW_TAG_member
+                        DW_AT_name                  "type"
+                        DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x0000000e
+                        DW_AT_type                  <0x00000038>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x000002c9>      DW_TAG_member
+                        DW_AT_name                  "in"
+                        DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x0000000f
+                        DW_AT_type                  <0x000000b5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 2><0x000002d6>      DW_TAG_member
+                        DW_AT_name                  "out"
+                        DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000010
+                        DW_AT_type                  <0x000000b5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 24
+< 1><0x000002e5>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_state_t"
+                      DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x00000013
+                      DW_AT_type                  <0x000002f0>
+< 1><0x000002f0>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x000002a2>
+< 1><0x000002f6>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_automaton"
+                      DW_AT_byte_size             0x00000020
+                      DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x00000015
+                      DW_AT_sibling               <0x0000033b>
+< 2><0x00000302>      DW_TAG_member
+                        DW_AT_name                  "propositional_symbols"
+                        DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000016
+                        DW_AT_type                  <0x000000b5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x00000310>      DW_TAG_member
+                        DW_AT_name                  "transitions"
+                        DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000017
+                        DW_AT_type                  <0x000000b5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x0000031e>      DW_TAG_member
+                        DW_AT_name                  "states"
+                        DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000018
+                        DW_AT_type                  <0x000000b5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 2><0x0000032c>      DW_TAG_member
+                        DW_AT_name                  "current_state"
+                        DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000019
+                        DW_AT_type                  <0x000002e5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 24
+< 1><0x0000033b>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_automaton_t"
+                      DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x0000001c
+                      DW_AT_type                  <0x00000346>
+< 1><0x00000346>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x000002f6>
+< 1><0x0000034c>    DW_TAG_structure_type
+                      DW_AT_byte_size             0x00000010
+                      DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x00000023
+                      DW_AT_sibling               <0x00000371>
+< 2><0x00000354>      DW_TAG_member
+                        DW_AT_name                  "left_exp"
+                        DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000024
+                        DW_AT_type                  <0x00000398>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x00000362>      DW_TAG_member
+                        DW_AT_name                  "right_exp"
+                        DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000025
+                        DW_AT_type                  <0x00000398>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 1><0x00000371>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_exp_label"
+                      DW_AT_byte_size             0x00000018
+                      DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x0000001e
+                      DW_AT_sibling               <0x00000398>
+< 2><0x0000037d>      DW_TAG_member
+                        DW_AT_name                  "type"
+                        DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000021
+                        DW_AT_type                  <0x00000038>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x0000038b>      DW_TAG_member
+                        DW_AT_name                  "u"
+                        DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000029
+                        DW_AT_type                  <0x0000039e>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 1><0x00000398>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x00000371>
+< 1><0x0000039e>    DW_TAG_union_type
+                      DW_AT_byte_size             0x00000010
+                      DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x00000022
+                      DW_AT_sibling               <0x000003c8>
+< 2><0x000003a6>      DW_TAG_member
+                        DW_AT_name                  "or_and"
+                        DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000026
+                        DW_AT_type                  <0x0000034c>
+< 2><0x000003b1>      DW_TAG_member
+                        DW_AT_name                  "exp_not"
+                        DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000027
+                        DW_AT_type                  <0x00000398>
+< 2><0x000003bc>      DW_TAG_member
+                        DW_AT_name                  "predicat"
+                        DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000028
+                        DW_AT_type                  <0x00000072>
+< 1><0x000003c8>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_exp_label_t"
+                      DW_AT_decl_file             0x00000008 /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x0000002c
+                      DW_AT_type                  <0x00000398>
+< 1><0x000003d3>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "init"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                      DW_AT_decl_line             0x00000006
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x00404084
+                      DW_AT_high_pc               0x00404096
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000000><highpc=0x00000001>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000001><highpc=0x00000004>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000004><highpc=0x00000011>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000011><highpc=0x00000012>DW_OP_breg7+8
+< 1><0x000003f0>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "new_state"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                      DW_AT_decl_line             0x0000000a
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x00404096
+                      DW_AT_high_pc               0x004041c1
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000012><highpc=0x00000013>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000013><highpc=0x00000016>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000016><highpc=0x0000013c>DW_OP_breg6+16
+                       [ 3]<lowpc=0x0000013c><highpc=0x0000013d>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000487>
+< 2><0x00000411>      DW_TAG_formal_parameter
+                        DW_AT_name                  "id"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                        DW_AT_decl_line             0x0000000a
+                        DW_AT_type                  <0x00000072>
+                        DW_AT_location              DW_OP_fbreg -72
+< 2><0x0000041f>      DW_TAG_formal_parameter
+                        DW_AT_name                  "src"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                        DW_AT_decl_line             0x0000000a
+                        DW_AT_type                  <0x00000038>
+                        DW_AT_location              DW_OP_fbreg -76
+< 2><0x0000042e>      DW_TAG_variable
+                        DW_AT_name                  "id_state"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                        DW_AT_decl_line             0x0000000c
+                        DW_AT_type                  <0x00000072>
+                        DW_AT_location              DW_OP_fbreg -40
+< 2><0x0000043c>      DW_TAG_variable
+                        DW_AT_name                  "first_part"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                        DW_AT_decl_line             0x0000000d
+                        DW_AT_type                  <0x00000072>
+                        DW_AT_location              DW_OP_fbreg -48
+< 2><0x0000044a>      DW_TAG_variable
+                        DW_AT_name                  "type"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                        DW_AT_decl_line             0x0000000e
+                        DW_AT_type                  <0x00000038>
+                        DW_AT_location              DW_OP_fbreg -20
+< 2><0x00000458>      DW_TAG_variable
+                        DW_AT_name                  "state"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                        DW_AT_decl_line             0x00000019
+                        DW_AT_type                  <0x000002e5>
+                        DW_AT_location              DW_OP_fbreg -32
+< 2><0x00000466>      DW_TAG_lexical_block
+                        DW_AT_low_pc                0x00404106
+                        DW_AT_high_pc               0x0040414c
+< 3><0x00000477>        DW_TAG_variable
+                          DW_AT_name                  "second_part"
+                          DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                          DW_AT_decl_line             0x00000013
+                          DW_AT_type                  <0x00000072>
+                          DW_AT_location              DW_OP_fbreg -56
+< 1><0x00000487>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "new_transition"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                      DW_AT_decl_line             0x00000027
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x004041c1
+                      DW_AT_high_pc               0x0040424e
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x0000013d><highpc=0x0000013e>DW_OP_breg7+8
+                       [ 1]<lowpc=0x0000013e><highpc=0x00000141>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000141><highpc=0x000001c9>DW_OP_breg6+16
+                       [ 3]<lowpc=0x000001c9><highpc=0x000001ca>DW_OP_breg7+8
+                      DW_AT_sibling               <0x000004ee>
+< 2><0x000004a8>      DW_TAG_formal_parameter
+                        DW_AT_name                  "id"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                        DW_AT_decl_line             0x00000027
+                        DW_AT_type                  <0x00000072>
+                        DW_AT_location              DW_OP_fbreg -56
+< 2><0x000004b5>      DW_TAG_formal_parameter
+                        DW_AT_name                  "label"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                        DW_AT_decl_line             0x00000027
+                        DW_AT_type                  <0x000003c8>
+                        DW_AT_location              DW_OP_fbreg -64
+< 2><0x000004c3>      DW_TAG_variable
+                        DW_AT_name                  "id_state"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                        DW_AT_decl_line             0x00000029
+                        DW_AT_type                  <0x00000072>
+                        DW_AT_location              DW_OP_fbreg -24
+< 2><0x000004d1>      DW_TAG_variable
+                        DW_AT_name                  "state_dst"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                        DW_AT_decl_line             0x0000002a
+                        DW_AT_type                  <0x000002e5>
+                        DW_AT_location              DW_OP_fbreg -32
+< 2><0x000004df>      DW_TAG_variable
+                        DW_AT_name                  "state_src"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                        DW_AT_decl_line             0x0000002d
+                        DW_AT_type                  <0x000002e5>
+                        DW_AT_location              DW_OP_fbreg -40
+< 1><0x000004ee>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "new_label"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                      DW_AT_decl_line             0x00000034
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x000003c8>
+                      DW_AT_low_pc                0x0040424e
+                      DW_AT_high_pc               0x00404597
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x000001ca><highpc=0x000001cb>DW_OP_breg7+8
+                       [ 1]<lowpc=0x000001cb><highpc=0x000001ce>DW_OP_breg7+16
+                       [ 2]<lowpc=0x000001ce><highpc=0x00000512>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000512><highpc=0x00000513>DW_OP_breg7+8
+                      DW_AT_sibling               <0x000005ed>
+< 2><0x00000513>      DW_TAG_formal_parameter
+                        DW_AT_name                  "type"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                        DW_AT_decl_line             0x00000034
+                        DW_AT_type                  <0x00000038>
+                        DW_AT_location              DW_OP_fbreg -276
+< 2><0x00000522>      DW_TAG_unspecified_parameters
+< 2><0x00000523>      DW_TAG_variable
+                        DW_AT_name                  "label"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                        DW_AT_decl_line             0x00000035
+                        DW_AT_type                  <0x000003c8>
+                        DW_AT_location              DW_OP_fbreg -200
+< 2><0x00000532>      DW_TAG_variable
+                        DW_AT_name                  "ap"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                        DW_AT_decl_line             0x00000036
+                        DW_AT_type                  <0x0000019e>
+                        DW_AT_location              DW_OP_fbreg -272
+< 2><0x00000540>      DW_TAG_lexical_block
+                        DW_AT_low_pc                0x004042fb
+                        DW_AT_high_pc               0x004043c4
+                        DW_AT_sibling               <0x00000574>
+< 3><0x00000555>        DW_TAG_variable
+                          DW_AT_name                  "left"
+                          DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                          DW_AT_decl_line             0x0000003a
+                          DW_AT_type                  <0x000003c8>
+                          DW_AT_location              DW_OP_fbreg -208
+< 3><0x00000564>        DW_TAG_variable
+                          DW_AT_name                  "right"
+                          DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                          DW_AT_decl_line             0x0000003b
+                          DW_AT_type                  <0x000003c8>
+                          DW_AT_location              DW_OP_fbreg -216
+< 2><0x00000574>      DW_TAG_lexical_block
+                        DW_AT_low_pc                0x004043c4
+                        DW_AT_high_pc               0x0040448d
+                        DW_AT_sibling               <0x000005a8>
+< 3><0x00000589>        DW_TAG_variable
+                          DW_AT_name                  "left"
+                          DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                          DW_AT_decl_line             0x00000040
+                          DW_AT_type                  <0x000003c8>
+                          DW_AT_location              DW_OP_fbreg -224
+< 3><0x00000598>        DW_TAG_variable
+                          DW_AT_name                  "right"
+                          DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                          DW_AT_decl_line             0x00000041
+                          DW_AT_type                  <0x000003c8>
+                          DW_AT_location              DW_OP_fbreg -232
+< 2><0x000005a8>      DW_TAG_lexical_block
+                        DW_AT_low_pc                0x0040448d
+                        DW_AT_high_pc               0x00404502
+                        DW_AT_sibling               <0x000005cd>
+< 3><0x000005bd>        DW_TAG_variable
+                          DW_AT_name                  "exp_not"
+                          DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                          DW_AT_decl_line             0x00000046
+                          DW_AT_type                  <0x000003c8>
+                          DW_AT_location              DW_OP_fbreg -240
+< 2><0x000005cd>      DW_TAG_lexical_block
+                        DW_AT_low_pc                0x00404502
+                        DW_AT_high_pc               0x00404574
+< 3><0x000005de>        DW_TAG_variable
+                          DW_AT_name                  "p"
+                          DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                          DW_AT_decl_line             0x0000004b
+                          DW_AT_type                  <0x00000072>
+                          DW_AT_location              DW_OP_fbreg -248
+< 1><0x000005ed>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "get_automaton"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                      DW_AT_decl_line             0x00000058
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x0000033b>
+                      DW_AT_low_pc                0x00404597
+                      DW_AT_high_pc               0x004045a4
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000513><highpc=0x00000514>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000514><highpc=0x00000517>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000517><highpc=0x0000051f>DW_OP_breg6+16
+                       [ 3]<lowpc=0x0000051f><highpc=0x00000520>DW_OP_breg7+8
+< 1><0x0000060e>    DW_TAG_variable
+                      DW_AT_name                  "_simgrid_log_category__xbt"
+                      DW_AT_decl_file             0x00000009 /home/marion/Simgrid/include/xbt/sysdep.h
+                      DW_AT_decl_line             0x0000007e
+                      DW_AT_type                  <0x000001d7>
+                      DW_AT_external              yes(1)
+                      DW_AT_declaration           yes(1)
+< 1><0x0000061b>    DW_TAG_variable
+                      DW_AT_name                  "automaton"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                      DW_AT_decl_line             0x00000003
+                      DW_AT_type                  <0x0000033b>
+                      DW_AT_external              yes(1)
+                      DW_AT_location              DW_OP_addr 0x00609ba0
+< 1><0x00000631>    DW_TAG_variable
+                      DW_AT_name                  "state_id_src"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/automatonparse_promela.c
+                      DW_AT_decl_line             0x00000004
+                      DW_AT_type                  <0x00000072>
+                      DW_AT_external              yes(1)
+                      DW_AT_location              DW_OP_addr 0x00609b80
+
+COMPILE_UNIT<header overall offset = 0x00001752>:
+< 0><0x0000000b>  DW_TAG_compile_unit
+                    DW_AT_producer              "GNU C 4.6.3"
+                    DW_AT_language              DW_LANG_C89
+                    DW_AT_name                  "/home/marion/Simgrid/examples/msg/mc/bugged1_while_liveness.c"
+                    DW_AT_comp_dir              "/home/marion/Simgrid/examples/msg/mc"
+                    DW_AT_low_pc                0x004045a4
+                    DW_AT_high_pc               0x004075dd
+                    DW_AT_stmt_list             0x00000b38
+                    DW_AT_macro_info            68637
+
+LOCAL_SYMBOLS:
+< 1><0x00000031>    DW_TAG_typedef
+                      DW_AT_name                  "size_t"
+                      DW_AT_decl_file             0x00000006 /usr/lib/gcc/x86_64-linux-gnu/4.6/include/stddef.h
+                      DW_AT_decl_line             0x000000d4
+                      DW_AT_type                  <0x0000003c>
+< 1><0x0000003c>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_encoding              DW_ATE_unsigned
+                      DW_AT_name                  "long unsigned int"
+< 1><0x00000043>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000002
+                      DW_AT_encoding              DW_ATE_unsigned
+                      DW_AT_name                  "short unsigned int"
+< 1><0x0000004a>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000004
+                      DW_AT_encoding              DW_ATE_signed
+                      DW_AT_name                  "int"
+< 1><0x00000051>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x00000057>
+< 1><0x00000057>    DW_TAG_const_type
+                      DW_AT_type                  <0x0000005c>
+< 1><0x0000005c>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000001
+                      DW_AT_encoding              DW_ATE_signed_char
+                      DW_AT_name                  "char"
+< 1><0x00000063>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000004
+                      DW_AT_encoding              DW_ATE_unsigned
+                      DW_AT_name                  "unsigned int"
+< 1><0x0000006a>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_encoding              DW_ATE_signed
+                      DW_AT_name                  "long int"
+< 1><0x00000071>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_encoding              DW_ATE_signed
+                      DW_AT_name                  "long long int"
+< 1><0x00000078>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000001
+                      DW_AT_encoding              DW_ATE_unsigned_char
+                      DW_AT_name                  "unsigned char"
+< 1><0x0000007f>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000001
+                      DW_AT_encoding              DW_ATE_signed_char
+                      DW_AT_name                  "signed char"
+< 1><0x00000086>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000002
+                      DW_AT_encoding              DW_ATE_signed
+                      DW_AT_name                  "short int"
+< 1><0x0000008d>    DW_TAG_typedef
+                      DW_AT_name                  "__off_t"
+                      DW_AT_decl_file             0x00000007 /usr/include/x86_64-linux-gnu/bits/types.h
+                      DW_AT_decl_line             0x0000008d
+                      DW_AT_type                  <0x0000006a>
+< 1><0x00000098>    DW_TAG_typedef
+                      DW_AT_name                  "__off64_t"
+                      DW_AT_decl_file             0x00000007 /usr/include/x86_64-linux-gnu/bits/types.h
+                      DW_AT_decl_line             0x0000008e
+                      DW_AT_type                  <0x0000006a>
+< 1><0x000000a3>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+< 1><0x000000a5>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x0000005c>
+< 1><0x000000ab>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_encoding              DW_ATE_unsigned
+                      DW_AT_name                  "long long unsigned int"
+< 1><0x000000b2>    DW_TAG_typedef
+                      DW_AT_name                  "__gnuc_va_list"
+                      DW_AT_decl_file             0x00000008 /usr/lib/gcc/x86_64-linux-gnu/4.6/include/stdarg.h
+                      DW_AT_decl_line             0x00000028
+                      DW_AT_type                  <0x000000bd>
+< 1><0x000000bd>    DW_TAG_array_type
+                      DW_AT_type                  <0x000000cd>
+                      DW_AT_sibling               <0x000000cd>
+< 2><0x000000c6>      DW_TAG_subrange_type
+                        DW_AT_type                  <0x0000003c>
+                        DW_AT_upper_bound           0
+< 1><0x000000cd>    DW_TAG_structure_type
+                      DW_AT_name                  "__va_list_tag"
+                      DW_AT_byte_size             0x00000018
+                      DW_AT_decl_file             0x00000009 /home/marion/Simgrid/examples/msg/mc/<built-in>
+                      DW_AT_decl_line             0x00000000
+                      DW_AT_sibling               <0x00000112>
+< 2><0x000000d9>      DW_TAG_member
+                        DW_AT_name                  "gp_offset"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/examples/msg/mc/<built-in>
+                        DW_AT_decl_line             0x00000000
+                        DW_AT_type                  <0x00000063>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x000000e7>      DW_TAG_member
+                        DW_AT_name                  "fp_offset"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/examples/msg/mc/<built-in>
+                        DW_AT_decl_line             0x00000000
+                        DW_AT_type                  <0x00000063>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 4
+< 2><0x000000f5>      DW_TAG_member
+                        DW_AT_name                  "overflow_arg_area"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/examples/msg/mc/<built-in>
+                        DW_AT_decl_line             0x00000000
+                        DW_AT_type                  <0x000000a3>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x00000103>      DW_TAG_member
+                        DW_AT_name                  "reg_save_area"
+                        DW_AT_decl_file             0x00000009 /home/marion/Simgrid/examples/msg/mc/<built-in>
+                        DW_AT_decl_line             0x00000000
+                        DW_AT_type                  <0x000000a3>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 1><0x00000112>    DW_TAG_typedef
+                      DW_AT_name                  "va_list"
+                      DW_AT_decl_file             0x00000008 /usr/lib/gcc/x86_64-linux-gnu/4.6/include/stdarg.h
+                      DW_AT_decl_line             0x00000066
+                      DW_AT_type                  <0x000000b2>
+< 1><0x0000011d>    DW_TAG_enumeration_type
+                      DW_AT_byte_size             0x00000004
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x0000002d
+                      DW_AT_sibling               <0x00000162>
+< 2><0x00000125>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_none"
+                        DW_AT_const_value           0x00000000
+< 2><0x0000012b>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_trace"
+                        DW_AT_const_value           0x00000001
+< 2><0x00000131>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_debug"
+                        DW_AT_const_value           0x00000002
+< 2><0x00000137>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_verbose"
+                        DW_AT_const_value           0x00000003
+< 2><0x0000013d>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_info"
+                        DW_AT_const_value           0x00000004
+< 2><0x00000143>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_warning"
+                        DW_AT_const_value           0x00000005
+< 2><0x00000149>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_error"
+                        DW_AT_const_value           0x00000006
+< 2><0x0000014f>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_critical"
+                        DW_AT_const_value           0x00000007
+< 2><0x00000155>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_infinite"
+                        DW_AT_const_value           0x00000008
+< 2><0x0000015b>      DW_TAG_enumerator
+                        DW_AT_name                  "xbt_log_priority_uninitialized"
+                        DW_AT_const_value           0xffffffffffffffff
+< 1><0x00000162>    DW_TAG_typedef
+                      DW_AT_name                  "e_xbt_log_priority_t"
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x0000003a
+                      DW_AT_type                  <0x0000011d>
+< 1><0x0000016d>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_log_appender_s"
+                      DW_AT_declaration           yes(1)
+< 1><0x00000173>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_log_appender_t"
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x000000f2
+                      DW_AT_type                  <0x0000017e>
+< 1><0x0000017e>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x0000016d>
+< 1><0x00000184>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_log_layout_s"
+                      DW_AT_declaration           yes(1)
+< 1><0x0000018a>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_log_layout_t"
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x000000f3
+                      DW_AT_type                  <0x00000195>
+< 1><0x00000195>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x00000184>
+< 1><0x0000019b>    DW_TAG_typedef
+                      DW_AT_name                  "s_xbt_log_event_t"
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x000000f4
+                      DW_AT_type                  <0x000001a6>
+< 1><0x000001a6>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_log_event_s"
+                      DW_AT_byte_size             0x00000050
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x0000010a
+                      DW_AT_sibling               <0x0000022b>
+< 2><0x000001b3>      DW_TAG_member
+                        DW_AT_name                  "cat"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x0000010b
+                        DW_AT_type                  <0x000002e5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x000001c2>      DW_TAG_member
+                        DW_AT_name                  "priority"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x0000010c
+                        DW_AT_type                  <0x00000162>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x000001d1>      DW_TAG_member
+                        DW_AT_name                  "fileName"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x0000010d
+                        DW_AT_type                  <0x00000051>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 2><0x000001e0>      DW_TAG_member
+                        DW_AT_name                  "functionName"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x0000010e
+                        DW_AT_type                  <0x00000051>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 24
+< 2><0x000001ef>      DW_TAG_member
+                        DW_AT_name                  "lineNum"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x0000010f
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 32
+< 2><0x000001fe>      DW_TAG_member
+                        DW_AT_name                  "ap"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000110
+                        DW_AT_type                  <0x00000112>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 40
+< 2><0x0000020c>      DW_TAG_member
+                        DW_AT_name                  "buffer"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000111
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 64
+< 2><0x0000021b>      DW_TAG_member
+                        DW_AT_name                  "buffer_size"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000112
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 72
+< 1><0x0000022b>    DW_TAG_typedef
+                      DW_AT_name                  "s_xbt_log_category_t"
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x000000f5
+                      DW_AT_type                  <0x00000236>
+< 1><0x00000236>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_log_category_s"
+                      DW_AT_byte_size             0x00000050
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x000000fc
+                      DW_AT_sibling               <0x000002e5>
+< 2><0x00000242>      DW_TAG_member
+                        DW_AT_name                  "parent"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x000000fd
+                        DW_AT_type                  <0x000002e5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x00000250>      DW_TAG_member
+                        DW_AT_name                  "firstChild"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x000000fe
+                        DW_AT_type                  <0x000002e5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x0000025e>      DW_TAG_member
+                        DW_AT_name                  "nextSibling"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x000000ff
+                        DW_AT_type                  <0x000002e5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 2><0x0000026c>      DW_TAG_member
+                        DW_AT_name                  "name"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000100
+                        DW_AT_type                  <0x00000051>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 24
+< 2><0x0000027b>      DW_TAG_member
+                        DW_AT_name                  "description"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000101
+                        DW_AT_type                  <0x00000051>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 32
+< 2><0x0000028a>      DW_TAG_member
+                        DW_AT_name                  "initialized"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000102
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 40
+< 2><0x00000299>      DW_TAG_member
+                        DW_AT_name                  "threshold"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000103
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 44
+< 2><0x000002a8>      DW_TAG_member
+                        DW_AT_name                  "isThreshInherited"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000104
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 48
+< 2><0x000002b7>      DW_TAG_member
+                        DW_AT_name                  "appender"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000105
+                        DW_AT_type                  <0x00000173>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 56
+< 2><0x000002c6>      DW_TAG_member
+                        DW_AT_name                  "layout"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000106
+                        DW_AT_type                  <0x0000018a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 64
+< 2><0x000002d5>      DW_TAG_member
+                        DW_AT_name                  "additivity"
+                        DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                        DW_AT_decl_line             0x00000107
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 72
+< 1><0x000002e5>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_log_category_t"
+                      DW_AT_decl_file             0x0000000a /home/marion/Simgrid/include/xbt/log.h
+                      DW_AT_decl_line             0x000000f6
+                      DW_AT_type                  <0x000002f0>
+< 1><0x000002f0>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x00000236>
+< 1><0x000002f6>    DW_TAG_typedef
+                      DW_AT_name                  "void_f_pvoid_t"
+                      DW_AT_decl_file             0x0000000b /home/marion/Simgrid/include/xbt/function_types.h
+                      DW_AT_decl_line             0x00000011
+                      DW_AT_type                  <0x00000301>
+< 1><0x00000301>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x00000307>
+< 1><0x00000307>    DW_TAG_subroutine_type
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_sibling               <0x00000313>
+< 2><0x0000030d>      DW_TAG_formal_parameter
+                        DW_AT_type                  <0x000000a3>
+< 1><0x00000313>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x000000a5>
+< 1><0x00000319>    DW_TAG_base_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_encoding              DW_ATE_float
+                      DW_AT_name                  "double"
+< 1><0x00000320>    DW_TAG_typedef
+                      DW_AT_name                  "FILE"
+                      DW_AT_decl_file             0x0000000c /usr/include/stdio.h
+                      DW_AT_decl_line             0x00000031
+                      DW_AT_type                  <0x0000032b>
+< 1><0x0000032b>    DW_TAG_structure_type
+                      DW_AT_name                  "_IO_FILE"
+                      DW_AT_byte_size             0x000000d8
+                      DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                      DW_AT_decl_line             0x0000010f
+                      DW_AT_sibling               <0x000004f8>
+< 2><0x00000338>      DW_TAG_member
+                        DW_AT_name                  "_flags"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x00000110
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x00000347>      DW_TAG_member
+                        DW_AT_name                  "_IO_read_ptr"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x00000115
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x00000356>      DW_TAG_member
+                        DW_AT_name                  "_IO_read_end"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x00000116
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 2><0x00000365>      DW_TAG_member
+                        DW_AT_name                  "_IO_read_base"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x00000117
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 24
+< 2><0x00000374>      DW_TAG_member
+                        DW_AT_name                  "_IO_write_base"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x00000118
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 32
+< 2><0x00000383>      DW_TAG_member
+                        DW_AT_name                  "_IO_write_ptr"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x00000119
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 40
+< 2><0x00000392>      DW_TAG_member
+                        DW_AT_name                  "_IO_write_end"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x0000011a
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 48
+< 2><0x000003a1>      DW_TAG_member
+                        DW_AT_name                  "_IO_buf_base"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x0000011b
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 56
+< 2><0x000003b0>      DW_TAG_member
+                        DW_AT_name                  "_IO_buf_end"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x0000011c
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 64
+< 2><0x000003bf>      DW_TAG_member
+                        DW_AT_name                  "_IO_save_base"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x0000011e
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 72
+< 2><0x000003ce>      DW_TAG_member
+                        DW_AT_name                  "_IO_backup_base"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x0000011f
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 80
+< 2><0x000003dd>      DW_TAG_member
+                        DW_AT_name                  "_IO_save_end"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x00000120
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 88
+< 2><0x000003ec>      DW_TAG_member
+                        DW_AT_name                  "_markers"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x00000122
+                        DW_AT_type                  <0x00000536>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 96
+< 2><0x000003fb>      DW_TAG_member
+                        DW_AT_name                  "_chain"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x00000124
+                        DW_AT_type                  <0x0000053c>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 104
+< 2><0x0000040a>      DW_TAG_member
+                        DW_AT_name                  "_fileno"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x00000126
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 112
+< 2><0x00000419>      DW_TAG_member
+                        DW_AT_name                  "_flags2"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x0000012a
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 116
+< 2><0x00000428>      DW_TAG_member
+                        DW_AT_name                  "_old_offset"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x0000012c
+                        DW_AT_type                  <0x0000008d>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 120
+< 2><0x00000437>      DW_TAG_member
+                        DW_AT_name                  "_cur_column"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x00000130
+                        DW_AT_type                  <0x00000043>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 128
+< 2><0x00000447>      DW_TAG_member
+                        DW_AT_name                  "_vtable_offset"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x00000131
+                        DW_AT_type                  <0x0000007f>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 130
+< 2><0x00000457>      DW_TAG_member
+                        DW_AT_name                  "_shortbuf"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x00000132
+                        DW_AT_type                  <0x00000542>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 131
+< 2><0x00000467>      DW_TAG_member
+                        DW_AT_name                  "_lock"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x00000136
+                        DW_AT_type                  <0x00000552>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 136
+< 2><0x00000477>      DW_TAG_member
+                        DW_AT_name                  "_offset"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x0000013f
+                        DW_AT_type                  <0x00000098>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 144
+< 2><0x00000487>      DW_TAG_member
+                        DW_AT_name                  "__pad1"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x00000148
+                        DW_AT_type                  <0x000000a3>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 152
+< 2><0x00000497>      DW_TAG_member
+                        DW_AT_name                  "__pad2"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x00000149
+                        DW_AT_type                  <0x000000a3>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 160
+< 2><0x000004a7>      DW_TAG_member
+                        DW_AT_name                  "__pad3"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x0000014a
+                        DW_AT_type                  <0x000000a3>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 168
+< 2><0x000004b7>      DW_TAG_member
+                        DW_AT_name                  "__pad4"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x0000014b
+                        DW_AT_type                  <0x000000a3>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 176
+< 2><0x000004c7>      DW_TAG_member
+                        DW_AT_name                  "__pad5"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x0000014c
+                        DW_AT_type                  <0x00000031>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 184
+< 2><0x000004d7>      DW_TAG_member
+                        DW_AT_name                  "_mode"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x0000014e
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 192
+< 2><0x000004e7>      DW_TAG_member
+                        DW_AT_name                  "_unused2"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x00000150
+                        DW_AT_type                  <0x00000558>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 196
+< 1><0x000004f8>    DW_TAG_typedef
+                      DW_AT_name                  "_IO_lock_t"
+                      DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                      DW_AT_decl_line             0x000000b4
+< 1><0x000004ff>    DW_TAG_structure_type
+                      DW_AT_name                  "_IO_marker"
+                      DW_AT_byte_size             0x00000018
+                      DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                      DW_AT_decl_line             0x000000ba
+                      DW_AT_sibling               <0x00000536>
+< 2><0x0000050b>      DW_TAG_member
+                        DW_AT_name                  "_next"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x000000bb
+                        DW_AT_type                  <0x00000536>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x00000519>      DW_TAG_member
+                        DW_AT_name                  "_sbuf"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x000000bc
+                        DW_AT_type                  <0x0000053c>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x00000527>      DW_TAG_member
+                        DW_AT_name                  "_pos"
+                        DW_AT_decl_file             0x0000000d /usr/include/libio.h
+                        DW_AT_decl_line             0x000000c0
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 1><0x00000536>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x000004ff>
+< 1><0x0000053c>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x0000032b>
+< 1><0x00000542>    DW_TAG_array_type
+                      DW_AT_type                  <0x0000005c>
+                      DW_AT_sibling               <0x00000552>
+< 2><0x0000054b>      DW_TAG_subrange_type
+                        DW_AT_type                  <0x0000003c>
+                        DW_AT_upper_bound           0
+< 1><0x00000552>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x000004f8>
+< 1><0x00000558>    DW_TAG_array_type
+                      DW_AT_type                  <0x0000005c>
+                      DW_AT_sibling               <0x00000568>
+< 2><0x00000561>      DW_TAG_subrange_type
+                        DW_AT_type                  <0x0000003c>
+                        DW_AT_upper_bound           19
+< 1><0x00000568>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_dynar_t"
+                      DW_AT_decl_file             0x0000000e /home/marion/Simgrid/include/xbt/dynar.h
+                      DW_AT_decl_line             0x0000003e
+                      DW_AT_type                  <0x00000573>
+< 1><0x00000573>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x00000579>
+< 1><0x00000579>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_dynar_s"
+                      DW_AT_byte_size             0x00000030
+                      DW_AT_decl_file             0x0000000e /home/marion/Simgrid/include/xbt/dynar.h
+                      DW_AT_decl_line             0x000000dc
+                      DW_AT_sibling               <0x000005da>
+< 2><0x00000585>      DW_TAG_member
+                        DW_AT_name                  "size"
+                        DW_AT_decl_file             0x0000000e /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000dd
+                        DW_AT_type                  <0x0000003c>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x00000593>      DW_TAG_member
+                        DW_AT_name                  "used"
+                        DW_AT_decl_file             0x0000000e /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000de
+                        DW_AT_type                  <0x0000003c>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x000005a1>      DW_TAG_member
+                        DW_AT_name                  "elmsize"
+                        DW_AT_decl_file             0x0000000e /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000df
+                        DW_AT_type                  <0x0000003c>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 2><0x000005af>      DW_TAG_member
+                        DW_AT_name                  "data"
+                        DW_AT_decl_file             0x0000000e /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000e0
+                        DW_AT_type                  <0x000000a3>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 24
+< 2><0x000005bd>      DW_TAG_member
+                        DW_AT_name                  "free_f"
+                        DW_AT_decl_file             0x0000000e /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000e1
+                        DW_AT_type                  <0x000002f6>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 32
+< 2><0x000005cb>      DW_TAG_member
+                        DW_AT_name                  "mutex"
+                        DW_AT_decl_file             0x0000000e /home/marion/Simgrid/include/xbt/dynar.h
+                        DW_AT_decl_line             0x000000e2
+                        DW_AT_type                  <0x000005da>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 40
+< 1><0x000005da>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_mutex_t"
+                      DW_AT_decl_file             0x0000000f /home/marion/Simgrid/include/xbt/synchro_core.h
+                      DW_AT_decl_line             0x0000004a
+                      DW_AT_type                  <0x000005e5>
+< 1><0x000005e5>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x000005eb>
+< 1><0x000005eb>    DW_TAG_structure_type
+                      DW_AT_name                  "s_xbt_mutex_"
+                      DW_AT_declaration           yes(1)
+< 1><0x000005f1>    DW_TAG_typedef
+                      DW_AT_name                  "simdata_task_t"
+                      DW_AT_decl_file             0x00000010 /home/marion/Simgrid/include/msg/datatypes.h
+                      DW_AT_decl_line             0x00000036
+                      DW_AT_type                  <0x000005fc>
+< 1><0x000005fc>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x00000602>
+< 1><0x00000602>    DW_TAG_structure_type
+                      DW_AT_name                  "simdata_task"
+                      DW_AT_declaration           yes(1)
+< 1><0x00000608>    DW_TAG_structure_type
+                      DW_AT_name                  "m_task"
+                      DW_AT_byte_size             0x00000018
+                      DW_AT_decl_file             0x00000010 /home/marion/Simgrid/include/msg/datatypes.h
+                      DW_AT_decl_line             0x00000038
+                      DW_AT_sibling               <0x0000063f>
+< 2><0x00000614>      DW_TAG_member
+                        DW_AT_name                  "name"
+                        DW_AT_decl_file             0x00000010 /home/marion/Simgrid/include/msg/datatypes.h
+                        DW_AT_decl_line             0x00000039
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x00000622>      DW_TAG_member
+                        DW_AT_name                  "simdata"
+                        DW_AT_decl_file             0x00000010 /home/marion/Simgrid/include/msg/datatypes.h
+                        DW_AT_decl_line             0x0000003a
+                        DW_AT_type                  <0x000005f1>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x00000630>      DW_TAG_member
+                        DW_AT_name                  "data"
+                        DW_AT_decl_file             0x00000010 /home/marion/Simgrid/include/msg/datatypes.h
+                        DW_AT_decl_line             0x0000003b
+                        DW_AT_type                  <0x000000a3>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 1><0x0000063f>    DW_TAG_typedef
+                      DW_AT_name                  "m_task_t"
+                      DW_AT_decl_file             0x00000010 /home/marion/Simgrid/include/msg/datatypes.h
+                      DW_AT_decl_line             0x00000049
+                      DW_AT_type                  <0x0000064a>
+< 1><0x0000064a>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x00000608>
+< 1><0x00000650>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_state"
+                      DW_AT_byte_size             0x00000020
+                      DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x0000000c
+                      DW_AT_sibling               <0x00000693>
+< 2><0x0000065c>      DW_TAG_member
+                        DW_AT_name                  "id"
+                        DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x0000000d
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x00000669>      DW_TAG_member
+                        DW_AT_name                  "type"
+                        DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x0000000e
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x00000677>      DW_TAG_member
+                        DW_AT_name                  "in"
+                        DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x0000000f
+                        DW_AT_type                  <0x00000568>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 2><0x00000684>      DW_TAG_member
+                        DW_AT_name                  "out"
+                        DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000010
+                        DW_AT_type                  <0x00000568>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 24
+< 1><0x00000693>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_state_t"
+                      DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x00000013
+                      DW_AT_type                  <0x0000069e>
+< 1><0x0000069e>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x00000650>
+< 1><0x000006a4>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_automaton"
+                      DW_AT_byte_size             0x00000020
+                      DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x00000015
+                      DW_AT_sibling               <0x000006e9>
+< 2><0x000006b0>      DW_TAG_member
+                        DW_AT_name                  "propositional_symbols"
+                        DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000016
+                        DW_AT_type                  <0x00000568>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x000006be>      DW_TAG_member
+                        DW_AT_name                  "transitions"
+                        DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000017
+                        DW_AT_type                  <0x00000568>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x000006cc>      DW_TAG_member
+                        DW_AT_name                  "states"
+                        DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000018
+                        DW_AT_type                  <0x00000568>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 2><0x000006da>      DW_TAG_member
+                        DW_AT_name                  "current_state"
+                        DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000019
+                        DW_AT_type                  <0x00000693>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 24
+< 1><0x000006e9>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_automaton_t"
+                      DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x0000001c
+                      DW_AT_type                  <0x000006f4>
+< 1><0x000006f4>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x000006a4>
+< 1><0x000006fa>    DW_TAG_structure_type
+                      DW_AT_byte_size             0x00000010
+                      DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x00000023
+                      DW_AT_sibling               <0x0000071f>
+< 2><0x00000702>      DW_TAG_member
+                        DW_AT_name                  "left_exp"
+                        DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000024
+                        DW_AT_type                  <0x00000746>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x00000710>      DW_TAG_member
+                        DW_AT_name                  "right_exp"
+                        DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000025
+                        DW_AT_type                  <0x00000746>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 1><0x0000071f>    DW_TAG_structure_type
+                      DW_AT_name                  "xbt_exp_label"
+                      DW_AT_byte_size             0x00000018
+                      DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x0000001e
+                      DW_AT_sibling               <0x00000746>
+< 2><0x0000072b>      DW_TAG_member
+                        DW_AT_name                  "type"
+                        DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000021
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x00000739>      DW_TAG_member
+                        DW_AT_name                  "u"
+                        DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000029
+                        DW_AT_type                  <0x0000074c>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 1><0x00000746>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x0000071f>
+< 1><0x0000074c>    DW_TAG_union_type
+                      DW_AT_byte_size             0x00000010
+                      DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x00000022
+                      DW_AT_sibling               <0x00000776>
+< 2><0x00000754>      DW_TAG_member
+                        DW_AT_name                  "or_and"
+                        DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000026
+                        DW_AT_type                  <0x000006fa>
+< 2><0x0000075f>      DW_TAG_member
+                        DW_AT_name                  "exp_not"
+                        DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000027
+                        DW_AT_type                  <0x00000746>
+< 2><0x0000076a>      DW_TAG_member
+                        DW_AT_name                  "predicat"
+                        DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                        DW_AT_decl_line             0x00000028
+                        DW_AT_type                  <0x000000a5>
+< 1><0x00000776>    DW_TAG_typedef
+                      DW_AT_name                  "xbt_exp_label_t"
+                      DW_AT_decl_file             0x00000011 /home/marion/Simgrid/include/xbt/automaton.h
+                      DW_AT_decl_line             0x0000002c
+                      DW_AT_type                  <0x00000746>
+< 1><0x00000781>    DW_TAG_typedef
+                      DW_AT_name                  "flex_int16_t"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x00000033
+                      DW_AT_type                  <0x00000086>
+< 1><0x0000078c>    DW_TAG_typedef
+                      DW_AT_name                  "flex_int32_t"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x00000034
+                      DW_AT_type                  <0x0000004a>
+< 1><0x00000797>    DW_TAG_typedef
+                      DW_AT_name                  "YY_BUFFER_STATE"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x000000a1
+                      DW_AT_type                  <0x000007a2>
+< 1><0x000007a2>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x000007a8>
+< 1><0x000007a8>    DW_TAG_structure_type
+                      DW_AT_name                  "yy_buffer_state"
+                      DW_AT_byte_size             0x00000040
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x000000c5
+                      DW_AT_sibling               <0x0000085d>
+< 2><0x000007b4>      DW_TAG_member
+                        DW_AT_name                  "yy_input_file"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000000c7
+                        DW_AT_type                  <0x00000868>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 0
+< 2><0x000007c2>      DW_TAG_member
+                        DW_AT_name                  "yy_ch_buf"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000000c9
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 8
+< 2><0x000007d0>      DW_TAG_member
+                        DW_AT_name                  "yy_buf_pos"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000000ca
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 16
+< 2><0x000007de>      DW_TAG_member
+                        DW_AT_name                  "yy_buf_size"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000000cf
+                        DW_AT_type                  <0x0000085d>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 24
+< 2><0x000007ec>      DW_TAG_member
+                        DW_AT_name                  "yy_n_chars"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000000d4
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 32
+< 2><0x000007fa>      DW_TAG_member
+                        DW_AT_name                  "yy_is_our_buffer"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000000da
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 36
+< 2><0x00000808>      DW_TAG_member
+                        DW_AT_name                  "yy_is_interactive"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000000e1
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 40
+< 2><0x00000816>      DW_TAG_member
+                        DW_AT_name                  "yy_at_bol"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000000e7
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 44
+< 2><0x00000824>      DW_TAG_member
+                        DW_AT_name                  "yy_bs_lineno"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000000e9
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 48
+< 2><0x00000832>      DW_TAG_member
+                        DW_AT_name                  "yy_bs_column"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000000ea
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 52
+< 2><0x00000840>      DW_TAG_member
+                        DW_AT_name                  "yy_fill_buffer"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000000ef
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 56
+< 2><0x0000084e>      DW_TAG_member
+                        DW_AT_name                  "yy_buffer_status"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000000f1
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_data_member_location  DW_OP_plus_uconst 60
+< 1><0x0000085d>    DW_TAG_typedef
+                      DW_AT_name                  "yy_size_t"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x000000c0
+                      DW_AT_type                  <0x00000031>
+< 1><0x00000868>    DW_TAG_pointer_type
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_type                  <0x00000320>
+< 1><0x0000086e>    DW_TAG_typedef
+                      DW_AT_name                  "YY_CHAR"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x0000015a
+                      DW_AT_type                  <0x00000078>
+< 1><0x0000087a>    DW_TAG_typedef
+                      DW_AT_name                  "yy_state_type"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x0000015e
+                      DW_AT_type                  <0x0000004a>
+< 1><0x00000886>    DW_TAG_union_type
+                      DW_AT_name                  "YYSTYPE"
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_decl_file             0x00000013 /home/marion/Simgrid/examples/msg/mc/y.tab.h
+                      DW_AT_decl_line             0x0000005a
+                      DW_AT_sibling               <0x000008bf>
+< 2><0x00000892>      DW_TAG_member
+                        DW_AT_name                  "real"
+                        DW_AT_decl_file             0x00000004 /home/marion/Simgrid/examples/msg/mc/parserPromela.yacc
+                        DW_AT_decl_line             0x0000000c
+                        DW_AT_type                  <0x00000319>
+< 2><0x0000089d>      DW_TAG_member
+                        DW_AT_name                  "integer"
+                        DW_AT_decl_file             0x00000004 /home/marion/Simgrid/examples/msg/mc/parserPromela.yacc
+                        DW_AT_decl_line             0x0000000d
+                        DW_AT_type                  <0x0000004a>
+< 2><0x000008a8>      DW_TAG_member
+                        DW_AT_name                  "string"
+                        DW_AT_decl_file             0x00000004 /home/marion/Simgrid/examples/msg/mc/parserPromela.yacc
+                        DW_AT_decl_line             0x0000000e
+                        DW_AT_type                  <0x000000a5>
+< 2><0x000008b3>      DW_TAG_member
+                        DW_AT_name                  "label"
+                        DW_AT_decl_file             0x00000004 /home/marion/Simgrid/examples/msg/mc/parserPromela.yacc
+                        DW_AT_decl_line             0x0000000f
+                        DW_AT_type                  <0x00000776>
+< 1><0x000008bf>    DW_TAG_typedef
+                      DW_AT_name                  "YYSTYPE"
+                      DW_AT_decl_file             0x00000012 /home/marion/Simgrid/examples/msg/mc/y.tab.h
+                      DW_AT_decl_line             0x00000069
+                      DW_AT_type                  <0x00000886>
+< 1><0x000008ca>    DW_TAG_typedef
+                      DW_AT_name                  "yytype_uint8"
+                      DW_AT_decl_file             0x00000003 /home/marion/Simgrid/examples/msg/mc/y.tab.c
+                      DW_AT_decl_line             0x000000c1
+                      DW_AT_type                  <0x00000078>
+< 1><0x000008d5>    DW_TAG_typedef
+                      DW_AT_name                  "yytype_int8"
+                      DW_AT_decl_file             0x00000003 /home/marion/Simgrid/examples/msg/mc/y.tab.c
+                      DW_AT_decl_line             0x000000c8
+                      DW_AT_type                  <0x0000007f>
+< 1><0x000008e0>    DW_TAG_typedef
+                      DW_AT_name                  "yytype_int16"
+                      DW_AT_decl_file             0x00000003 /home/marion/Simgrid/examples/msg/mc/y.tab.c
+                      DW_AT_decl_line             0x000000d6
+                      DW_AT_type                  <0x00000086>
+< 1><0x000008eb>    DW_TAG_union_type
+                      DW_AT_name                  "yyalloc"
+                      DW_AT_byte_size             0x00000008
+                      DW_AT_decl_file             0x00000003 /home/marion/Simgrid/examples/msg/mc/y.tab.c
+                      DW_AT_decl_line             0x00000159
+                      DW_AT_sibling               <0x00000911>
+< 2><0x000008f8>      DW_TAG_member
+                        DW_AT_name                  "yyss_alloc"
+                        DW_AT_decl_file             0x00000003 /home/marion/Simgrid/examples/msg/mc/y.tab.c
+                        DW_AT_decl_line             0x0000015b
+                        DW_AT_type                  <0x000008e0>
+< 2><0x00000904>      DW_TAG_member
+                        DW_AT_name                  "yyvs_alloc"
+                        DW_AT_decl_file             0x00000003 /home/marion/Simgrid/examples/msg/mc/y.tab.c
+                        DW_AT_decl_line             0x0000015c
+                        DW_AT_type                  <0x000008bf>
+< 1><0x00000911>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "yylex"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x000002b6
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x0000004a>
+                      DW_AT_low_pc                0x004045a4
+                      DW_AT_high_pc               0x00404e2e
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000000><highpc=0x00000001>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000001><highpc=0x00000004>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000004><highpc=0x00000889>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000889><highpc=0x0000088a>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000a06>
+< 2><0x00000937>      DW_TAG_variable
+                        DW_AT_name                  "yy_current_state"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000002b8
+                        DW_AT_type                  <0x0000087a>
+                        DW_AT_location              DW_OP_reg12
+< 2><0x00000945>      DW_TAG_variable
+                        DW_AT_name                  "yy_cp"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000002b9
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_location              DW_OP_reg3
+< 2><0x00000953>      DW_TAG_variable
+                        DW_AT_name                  "yy_bp"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000002b9
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_location              DW_OP_reg13
+< 2><0x00000961>      DW_TAG_variable
+                        DW_AT_name                  "yy_act"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000002ba
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_location              DW_OP_reg12
+< 2><0x0000096f>      DW_TAG_label
+                        DW_AT_name                  "yy_match"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000002e8
+                        DW_AT_low_pc                0x0040468d
+< 2><0x0000097f>      DW_TAG_label
+                        DW_AT_name                  "yy_find_action"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000002fc
+                        DW_AT_low_pc                0x00404746
+< 2><0x0000098f>      DW_TAG_label
+                        DW_AT_name                  "do_action"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x00000307
+                        DW_AT_low_pc                0x004047a6
+< 2><0x0000099f>      DW_TAG_lexical_block
+                        DW_AT_low_pc                0x0040468d
+                        DW_AT_high_pc               0x00404731
+                        DW_AT_sibling               <0x000009c3>
+< 3><0x000009b4>        DW_TAG_variable
+                          DW_AT_name                  "yy_c"
+                          DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                          DW_AT_decl_line             0x000002eb
+                          DW_AT_type                  <0x0000086e>
+                          DW_AT_location              DW_OP_reg14
+< 2><0x000009c3>      DW_TAG_lexical_block
+                        DW_AT_low_pc                0x00404c0c
+                        DW_AT_high_pc               0x00404e0d
+< 3><0x000009d4>        DW_TAG_variable
+                          DW_AT_name                  "yy_amount_of_matched_text"
+                          DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                          DW_AT_decl_line             0x000003a4
+                          DW_AT_type                  <0x0000004a>
+                          DW_AT_location              DW_OP_fbreg -52
+< 3><0x000009e3>        DW_TAG_lexical_block
+                          DW_AT_low_pc                0x00404ce2
+                          DW_AT_high_pc               0x00404d46
+< 4><0x000009f4>          DW_TAG_variable
+                            DW_AT_name                  "yy_next_state"
+                            DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                            DW_AT_decl_line             0x000003c3
+                            DW_AT_type                  <0x0000087a>
+                            DW_AT_location              DW_OP_fbreg -56
+< 1><0x00000a06>    DW_TAG_subprogram
+                      DW_AT_name                  "yy_get_next_buffer"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x00000429
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x0000004a>
+                      DW_AT_low_pc                0x00404e2e
+                      DW_AT_high_pc               0x0040546a
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x0000088a><highpc=0x0000088b>DW_OP_breg7+8
+                       [ 1]<lowpc=0x0000088b><highpc=0x0000088e>DW_OP_breg7+16
+                       [ 2]<lowpc=0x0000088e><highpc=0x00000ec5>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000ec5><highpc=0x00000ec6>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000b3b>
+< 2><0x00000a2b>      DW_TAG_variable
+                        DW_AT_name                  "dest"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x0000042b
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_location              DW_OP_reg12
+< 2><0x00000a39>      DW_TAG_variable
+                        DW_AT_name                  "source"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x0000042c
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_location              DW_OP_reg13
+< 2><0x00000a47>      DW_TAG_variable
+                        DW_AT_name                  "number_to_move"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x0000042d
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_location              DW_OP_reg3
+< 2><0x00000a55>      DW_TAG_variable
+                        DW_AT_name                  "i"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x0000042d
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_location              DW_OP_reg14
+< 2><0x00000a61>      DW_TAG_variable
+                        DW_AT_name                  "ret_val"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x0000042e
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_location              DW_OP_fbreg -52
+< 2><0x00000a70>      DW_TAG_lexical_block
+                        DW_AT_low_pc                0x00404f84
+                        DW_AT_high_pc               0x004052bf
+                        DW_AT_sibling               <0x00000b18>
+< 3><0x00000a85>        DW_TAG_variable
+                          DW_AT_name                  "num_to_read"
+                          DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                          DW_AT_decl_line             0x00000457
+                          DW_AT_type                  <0x0000004a>
+                          DW_AT_location              DW_OP_fbreg -56
+< 3><0x00000a94>        DW_TAG_lexical_block
+                          DW_AT_low_pc                0x00404fb5
+                          DW_AT_high_pc               0x004050e4
+                          DW_AT_sibling               <0x00000aea>
+< 4><0x00000aa9>          DW_TAG_variable
+                            DW_AT_name                  "b"
+                            DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                            DW_AT_decl_line             0x0000045e
+                            DW_AT_type                  <0x00000797>
+                            DW_AT_location              DW_OP_fbreg -80
+< 4><0x00000ab7>          DW_TAG_variable
+                            DW_AT_name                  "yy_c_buf_p_offset"
+                            DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                            DW_AT_decl_line             0x00000460
+                            DW_AT_type                  <0x0000004a>
+                            DW_AT_location              DW_OP_fbreg -84
+< 4><0x00000ac7>          DW_TAG_lexical_block
+                            DW_AT_low_pc                0x0040500d
+                            DW_AT_high_pc               0x0040507e
+< 5><0x00000ad8>            DW_TAG_variable
+                              DW_AT_name                  "new_size"
+                              DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                              DW_AT_decl_line             0x00000465
+                              DW_AT_type                  <0x0000004a>
+                              DW_AT_location              DW_OP_fbreg -88
+< 3><0x00000aea>        DW_TAG_lexical_block
+                          DW_AT_low_pc                0x00405121
+                          DW_AT_high_pc               0x004051f3
+< 4><0x00000afb>          DW_TAG_variable
+                            DW_AT_name                  "c"
+                            DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                            DW_AT_decl_line             0x00000483
+                            DW_AT_type                  <0x0000004a>
+                            DW_AT_location              DW_OP_fbreg -60
+< 4><0x00000b08>          DW_TAG_variable
+                            DW_AT_name                  "n"
+                            DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                            DW_AT_decl_line             0x00000483
+                            DW_AT_type                  <0x00000031>
+                            DW_AT_location              DW_OP_fbreg -72
+< 2><0x00000b18>      DW_TAG_lexical_block
+                        DW_AT_low_pc                0x00405344
+                        DW_AT_high_pc               0x004053d0
+< 3><0x00000b29>        DW_TAG_variable
+                          DW_AT_name                  "new_size"
+                          DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                          DW_AT_decl_line             0x0000049e
+                          DW_AT_type                  <0x0000085d>
+                          DW_AT_location              DW_OP_fbreg -96
+< 1><0x00000b3b>    DW_TAG_subprogram
+                      DW_AT_name                  "yy_get_previous_state"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x000004af
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x0000087a>
+                      DW_AT_low_pc                0x0040546a
+                      DW_AT_high_pc               0x0040554f
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000ec6><highpc=0x00000ec7>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000ec7><highpc=0x00000eca>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000eca><highpc=0x00000faa>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00000faa><highpc=0x00000fab>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000b9d>
+< 2><0x00000b60>      DW_TAG_variable
+                        DW_AT_name                  "yy_current_state"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000004b1
+                        DW_AT_type                  <0x0000087a>
+                        DW_AT_location              DW_OP_reg3
+< 2><0x00000b6e>      DW_TAG_variable
+                        DW_AT_name                  "yy_cp"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000004b2
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_location              DW_OP_reg12
+< 2><0x00000b7c>      DW_TAG_lexical_block
+                        DW_AT_low_pc                0x00405485
+                        DW_AT_high_pc               0x00405532
+< 3><0x00000b8d>        DW_TAG_variable
+                          DW_AT_name                  "yy_c"
+                          DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                          DW_AT_decl_line             0x000004b8
+                          DW_AT_type                  <0x0000086e>
+                          DW_AT_location              DW_OP_reg13
+< 1><0x00000b9d>    DW_TAG_subprogram
+                      DW_AT_name                  "yy_try_NUL_trans"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x000004cf
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x0000087a>
+                      DW_AT_low_pc                0x0040554f
+                      DW_AT_high_pc               0x00405616
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00000fab><highpc=0x00000fac>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00000fac><highpc=0x00000faf>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00000faf><highpc=0x00001071>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00001071><highpc=0x00001072>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000bfc>
+< 2><0x00000bc2>      DW_TAG_formal_parameter
+                        DW_AT_name                  "yy_current_state"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000004cf
+                        DW_AT_type                  <0x0000087a>
+                        DW_AT_location              DW_OP_fbreg -36
+< 2><0x00000bd1>      DW_TAG_variable
+                        DW_AT_name                  "yy_is_jam"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000004d1
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_location              DW_OP_reg3
+< 2><0x00000bdf>      DW_TAG_variable
+                        DW_AT_name                  "yy_cp"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000004d2
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_location              DW_OP_reg12
+< 2><0x00000bed>      DW_TAG_variable
+                        DW_AT_name                  "yy_c"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000004d4
+                        DW_AT_type                  <0x0000086e>
+                        DW_AT_location              DW_OP_reg3
+< 1><0x00000bfc>    DW_TAG_subprogram
+                      DW_AT_name                  "yyunput"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x000004e6
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x00405616
+                      DW_AT_high_pc               0x004057cc
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00001072><highpc=0x00001073>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00001073><highpc=0x00001076>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00001076><highpc=0x00001227>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00001227><highpc=0x00001228>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000c83>
+< 2><0x00000c1d>      DW_TAG_formal_parameter
+                        DW_AT_name                  "c"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000004e6
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_location              DW_OP_fbreg -52
+< 2><0x00000c2a>      DW_TAG_formal_parameter
+                        DW_AT_name                  "yy_bp"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000004e6
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_location              DW_OP_reg14
+< 2><0x00000c38>      DW_TAG_variable
+                        DW_AT_name                  "yy_cp"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000004e8
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_location              DW_OP_reg3
+< 2><0x00000c46>      DW_TAG_lexical_block
+                        DW_AT_low_pc                0x00405664
+                        DW_AT_high_pc               0x0040579f
+< 3><0x00000c57>        DW_TAG_variable
+                          DW_AT_name                  "number_to_move"
+                          DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                          DW_AT_decl_line             0x000004f2
+                          DW_AT_type                  <0x0000004a>
+                          DW_AT_location              DW_OP_reg12
+< 3><0x00000c65>        DW_TAG_variable
+                          DW_AT_name                  "dest"
+                          DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                          DW_AT_decl_line             0x000004f3
+                          DW_AT_type                  <0x000000a5>
+                          DW_AT_location              DW_OP_reg13
+< 3><0x00000c73>        DW_TAG_variable
+                          DW_AT_name                  "source"
+                          DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                          DW_AT_decl_line             0x000004f5
+                          DW_AT_type                  <0x000000a5>
+                          DW_AT_location              DW_OP_reg12
+< 1><0x00000c83>    DW_TAG_subprogram
+                      DW_AT_name                  "input"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x0000050f
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x0000004a>
+                      DW_AT_low_pc                0x004057cc
+                      DW_AT_high_pc               0x004058e7
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00001228><highpc=0x00001229>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00001229><highpc=0x0000122c>DW_OP_breg7+16
+                       [ 2]<lowpc=0x0000122c><highpc=0x00001342>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00001342><highpc=0x00001343>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000cd7>
+< 2><0x00000ca8>      DW_TAG_variable
+                        DW_AT_name                  "c"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x00000513
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_location              DW_OP_fbreg -24
+< 2><0x00000cb5>      DW_TAG_lexical_block
+                        DW_AT_low_pc                0x00405835
+                        DW_AT_high_pc               0x004058a6
+< 3><0x00000cc6>        DW_TAG_variable
+                          DW_AT_name                  "offset"
+                          DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                          DW_AT_decl_line             0x00000523
+                          DW_AT_type                  <0x0000004a>
+                          DW_AT_location              DW_OP_fbreg -20
+< 1><0x00000cd7>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "yyrestart"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x0000055a
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x004058e7
+                      DW_AT_high_pc               0x00405995
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00001343><highpc=0x00001344>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00001344><highpc=0x00001347>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00001347><highpc=0x000013f0>DW_OP_breg6+16
+                       [ 3]<lowpc=0x000013f0><highpc=0x000013f1>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000d09>
+< 2><0x00000cf9>      DW_TAG_formal_parameter
+                        DW_AT_name                  "input_file"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x0000055a
+                        DW_AT_type                  <0x00000868>
+                        DW_AT_location              DW_OP_fbreg -40
+< 1><0x00000d09>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "yy_switch_to_buffer"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x0000056b
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x00405995
+                      DW_AT_high_pc               0x00405a88
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x000013f1><highpc=0x000013f2>DW_OP_breg7+8
+                       [ 1]<lowpc=0x000013f2><highpc=0x000013f5>DW_OP_breg7+16
+                       [ 2]<lowpc=0x000013f5><highpc=0x000014e3>DW_OP_breg6+16
+                       [ 3]<lowpc=0x000014e3><highpc=0x000014e4>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000d3b>
+< 2><0x00000d2b>      DW_TAG_formal_parameter
+                        DW_AT_name                  "new_buffer"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x0000056b
+                        DW_AT_type                  <0x00000797>
+                        DW_AT_location              DW_OP_fbreg -24
+< 1><0x00000d3b>    DW_TAG_subprogram
+                      DW_AT_name                  "yy_load_buffer_state"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x0000058a
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x00405a88
+                      DW_AT_high_pc               0x00405b12
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x000014e4><highpc=0x000014e5>DW_OP_breg7+8
+                       [ 1]<lowpc=0x000014e5><highpc=0x000014e8>DW_OP_breg7+16
+                       [ 2]<lowpc=0x000014e8><highpc=0x0000156d>DW_OP_breg6+16
+                       [ 3]<lowpc=0x0000156d><highpc=0x0000156e>DW_OP_breg7+8
+< 1><0x00000d58>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "yy_create_buffer"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x00000598
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x00000797>
+                      DW_AT_low_pc                0x00405b12
+                      DW_AT_high_pc               0x00405ba5
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x0000156e><highpc=0x0000156f>DW_OP_breg7+8
+                       [ 1]<lowpc=0x0000156f><highpc=0x00001572>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00001572><highpc=0x00001600>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00001600><highpc=0x00001601>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000daa>
+< 2><0x00000d7e>      DW_TAG_formal_parameter
+                        DW_AT_name                  "file"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x00000598
+                        DW_AT_type                  <0x00000868>
+                        DW_AT_location              DW_OP_fbreg -40
+< 2><0x00000d8d>      DW_TAG_formal_parameter
+                        DW_AT_name                  "size"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x00000598
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_location              DW_OP_fbreg -44
+< 2><0x00000d9c>      DW_TAG_variable
+                        DW_AT_name                  "b"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x0000059a
+                        DW_AT_type                  <0x00000797>
+                        DW_AT_location              DW_OP_fbreg -24
+< 1><0x00000daa>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "yy_delete_buffer"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x000005b4
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x00405ba5
+                      DW_AT_high_pc               0x00405c31
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00001601><highpc=0x00001602>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00001602><highpc=0x00001605>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00001605><highpc=0x0000168c>DW_OP_breg6+16
+                       [ 3]<lowpc=0x0000168c><highpc=0x0000168d>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000dda>
+< 2><0x00000dcc>      DW_TAG_formal_parameter
+                        DW_AT_name                  "b"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000005b4
+                        DW_AT_type                  <0x00000797>
+                        DW_AT_location              DW_OP_fbreg -24
+< 1><0x00000dda>    DW_TAG_subprogram
+                      DW_AT_name                  "yy_init_buffer"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x000005cb
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x00405c31
+                      DW_AT_high_pc               0x00405cf1
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x0000168d><highpc=0x0000168e>DW_OP_breg7+8
+                       [ 1]<lowpc=0x0000168e><highpc=0x00001691>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00001691><highpc=0x0000174c>DW_OP_breg6+16
+                       [ 3]<lowpc=0x0000174c><highpc=0x0000174d>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000e27>
+< 2><0x00000dfb>      DW_TAG_formal_parameter
+                        DW_AT_name                  "b"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000005cb
+                        DW_AT_type                  <0x00000797>
+                        DW_AT_location              DW_OP_fbreg -40
+< 2><0x00000e08>      DW_TAG_formal_parameter
+                        DW_AT_name                  "file"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000005cb
+                        DW_AT_type                  <0x00000868>
+                        DW_AT_location              DW_OP_fbreg -48
+< 2><0x00000e17>      DW_TAG_variable
+                        DW_AT_name                  "oerrno"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000005ce
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_location              DW_OP_fbreg -20
+< 1><0x00000e27>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "yy_flush_buffer"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x000005e7
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x00405cf1
+                      DW_AT_high_pc               0x00405d8e
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x0000174d><highpc=0x0000174e>DW_OP_breg7+8
+                       [ 1]<lowpc=0x0000174e><highpc=0x00001751>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00001751><highpc=0x000017e9>DW_OP_breg6+16
+                       [ 3]<lowpc=0x000017e9><highpc=0x000017ea>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000e57>
+< 2><0x00000e49>      DW_TAG_formal_parameter
+                        DW_AT_name                  "b"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x000005e7
+                        DW_AT_type                  <0x00000797>
+                        DW_AT_location              DW_OP_fbreg -24
+< 1><0x00000e57>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "yypush_buffer_state"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x00000604
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x00405d8e
+                      DW_AT_high_pc               0x00405e92
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x000017ea><highpc=0x000017eb>DW_OP_breg7+8
+                       [ 1]<lowpc=0x000017eb><highpc=0x000017ee>DW_OP_breg7+16
+                       [ 2]<lowpc=0x000017ee><highpc=0x000018ed>DW_OP_breg6+16
+                       [ 3]<lowpc=0x000018ed><highpc=0x000018ee>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000e89>
+< 2><0x00000e79>      DW_TAG_formal_parameter
+                        DW_AT_name                  "new_buffer"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x00000604
+                        DW_AT_type                  <0x00000797>
+                        DW_AT_location              DW_OP_fbreg -24
+< 1><0x00000e89>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "yypop_buffer_state"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x00000622
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x00405e92
+                      DW_AT_high_pc               0x00405f71
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x000018ee><highpc=0x000018ef>DW_OP_breg7+8
+                       [ 1]<lowpc=0x000018ef><highpc=0x000018f2>DW_OP_breg7+16
+                       [ 2]<lowpc=0x000018f2><highpc=0x000019cc>DW_OP_breg6+16
+                       [ 3]<lowpc=0x000019cc><highpc=0x000019cd>DW_OP_breg7+8
+< 1><0x00000ea7>    DW_TAG_subprogram
+                      DW_AT_name                  "yyensure_buffer_stack"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x00000635
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_low_pc                0x00405f71
+                      DW_AT_high_pc               0x004060a6
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x000019cd><highpc=0x000019ce>DW_OP_breg7+8
+                       [ 1]<lowpc=0x000019ce><highpc=0x000019d1>DW_OP_breg7+16
+                       [ 2]<lowpc=0x000019d1><highpc=0x00001b01>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00001b01><highpc=0x00001b02>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000ef9>
+< 2><0x00000ec8>      DW_TAG_variable
+                        DW_AT_name                  "num_to_alloc"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x00000637
+                        DW_AT_type                  <0x0000004a>
+                        DW_AT_location              DW_OP_fbreg -20
+< 2><0x00000ed7>      DW_TAG_lexical_block
+                        DW_AT_low_pc                0x00406012
+                        DW_AT_high_pc               0x004060a4
+< 3><0x00000ee8>        DW_TAG_variable
+                          DW_AT_name                  "grow_size"
+                          DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                          DW_AT_decl_line             0x00000650
+                          DW_AT_type                  <0x0000004a>
+                          DW_AT_location              DW_OP_fbreg -24
+< 1><0x00000ef9>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "yy_scan_buffer"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x00000666
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x00000797>
+                      DW_AT_low_pc                0x004060a6
+                      DW_AT_high_pc               0x0040619d
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00001b02><highpc=0x00001b03>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00001b03><highpc=0x00001b06>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00001b06><highpc=0x00001bf8>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00001bf8><highpc=0x00001bf9>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000f4b>
+< 2><0x00000f1f>      DW_TAG_formal_parameter
+                        DW_AT_name                  "base"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x00000666
+                        DW_AT_type                  <0x000000a5>
+                        DW_AT_location              DW_OP_fbreg -40
+< 2><0x00000f2e>      DW_TAG_formal_parameter
+                        DW_AT_name                  "size"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x00000666
+                        DW_AT_type                  <0x0000085d>
+                        DW_AT_location              DW_OP_fbreg -48
+< 2><0x00000f3d>      DW_TAG_variable
+                        DW_AT_name                  "b"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                        DW_AT_decl_line             0x00000668
+                        DW_AT_type                  <0x00000797>
+                        DW_AT_location              DW_OP_fbreg -24
+< 1><0x00000f4b>    DW_TAG_subprogram
+                      DW_AT_external              yes(1)
+                      DW_AT_name                  "yy_scan_string"
+                      DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c
+                      DW_AT_decl_line             0x0000068b
+                      DW_AT_prototyped            yes(1)
+                      DW_AT_type                  <0x00000797>
+                      DW_AT_low_pc                0x0040619d
+                      DW_AT_high_pc               0x004061e2
+                      DW_AT_frame_base            <loclist with 4 entries follows>
+                       [ 0]<lowpc=0x00001bf9><highpc=0x00001bfa>DW_OP_breg7+8
+                       [ 1]<lowpc=0x00001bfa><highpc=0x00001bfd>DW_OP_breg7+16
+                       [ 2]<lowpc=0x00001bfd><highpc=0x00001c3d>DW_OP_breg6+16
+                       [ 3]<lowpc=0x00001c3d><highpc=0x00001c3e>DW_OP_breg7+8
+                      DW_AT_sibling               <0x00000f81>
+< 2><0x00000f71>      DW_TAG_formal_parameter
+                        DW_AT_name                  "yystr"
+                        DW_AT_decl_file             0x00000001 /home/marion/Simgrid/examples/msg/mc/lex.yy.c