Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove unused examples
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 26 Jun 2012 08:58:14 +0000 (10:58 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 26 Jun 2012 09:00:05 +0000 (11:00 +0200)
examples/msg/mc/bugged1_for_liveness.c [deleted file]
examples/msg/mc/bugged1_while_liveness.c [deleted file]
examples/msg/mc/dwarf [deleted file]

diff --git a/examples/msg/mc/bugged1_for_liveness.c b/examples/msg/mc/bugged1_for_liveness.c
deleted file mode 100644 (file)
index 3aa5b55..0000000
+++ /dev/null
@@ -1,144 +0,0 @@
-/***************** Centralized Mutual Exclusion Algorithm *********************/
-/* This example implements a centralized mutual exclusion algorithm.          */
-/* CS requests of client 1 not satisfied                                      */
-/* LTL property checked : G(r->F(cs)); (r=request of CS, cs=CS ok)            */
-/******************************************************************************/
-
-#include "msg/msg.h"
-#include "mc/mc.h"
-#include "xbt/automaton.h"
-#include "bugged1_liveness.h"
-
-#define AMOUNT_OF_CLIENTS 2
-#define CS_PER_PROCESS 2
-
-XBT_LOG_NEW_DEFAULT_CATEGORY(bugged1_liveness, "my log messages");
-
-
-int r=0; 
-int cs=0;
-
-int predR(){
-  return r;
-}
-
-int predCS(){
-  return cs;
-}
-
-
-int coordinator(int argc, char *argv[])
-{
-  xbt_dynar_t requests = xbt_dynar_new(sizeof(char *), NULL);   // dynamic vector storing requests (which are char*)
-  int CS_used = 0;              // initially the CS is idle
-  int todo = AMOUNT_OF_CLIENTS * CS_PER_PROCESS;        // amount of releases we are expecting
-  while (todo > 0) {
-    m_task_t task = NULL;
-    MSG_task_receive(&task, "coordinator");
-    const char *kind = MSG_task_get_name(task); //is it a request or a release?
-    if (!strcmp(kind, "request")) {     // that's a request
-      char *req = MSG_task_get_data(task);
-      if (CS_used) {            // need to push the request in the vector
-        XBT_INFO("CS already used. Queue the request of client %d", atoi(req) +1);
-        xbt_dynar_push(requests, &req);
-      } else {                  // can serve it immediatly
-  if(strcmp(req, "2") == 0){
-    m_task_t answer = MSG_task_create("grant", 0, 1000, NULL);
-    MSG_task_send(answer, req);
-    CS_used = 1;
-    XBT_INFO("CS idle. Grant immediatly");
-  }
-      }
-    } else {                    // that's a release. Check if someone was waiting for the lock
-      if (xbt_dynar_length(requests) > 0) {
-        XBT_INFO("CS release. Grant to queued requests (queue size: %lu)", xbt_dynar_length(requests));
-        char *req ;
-  xbt_dynar_get_cpy(requests, (xbt_dynar_length(requests) - 1), &req);
-  if(strcmp(req, "2") == 0){
-    xbt_dynar_pop(requests, &req);
-    MSG_task_send(MSG_task_create("grant", 0, 1000, NULL), req);
-    todo--;
-  }else{
-    xbt_dynar_pop(requests, &req);
-    MSG_task_send(MSG_task_create("notgrant", 0, 1000, NULL), req);
-    CS_used = 0;
-    todo--;
-  }
-      } else {                  // nobody wants it
-        XBT_INFO("CS release. resource now idle");
-        CS_used = 0;
-        todo--;
-      }
-    }
-    MSG_task_destroy(task);
-  }
-  XBT_INFO("Received all releases, quit now"); 
-  return 0;
-}
-
-int client(int argc, char *argv[])
-{
-  int my_pid = MSG_process_get_PID(MSG_process_self());
-
-  char *my_mailbox = bprintf("%s", argv[1]);
-  int i;
-
-  // request the CS (CS_PER_PROCESS times), sleeping a bit in between
-  for (i = 0; i < CS_PER_PROCESS; i++) {
-      
-    XBT_INFO("Ask the request");
-    MSG_task_send(MSG_task_create("request", 0, 1000, my_mailbox), "coordinator");
-
-    if(strcmp(my_mailbox, "1") == 0){
-      r = 1;
-      cs = 0;
-      XBT_DEBUG("Propositions changed : r=1, cs=0");
-    }
-
-    // wait the answer
-    m_task_t grant = NULL;
-    MSG_task_receive(&grant, my_mailbox);
-    const char *kind = MSG_task_get_name(grant);
-
-    if((strcmp(my_mailbox, "1") == 0) && (strcmp("grant", kind) == 0)){
-      cs = 1;
-      r = 0;
-      XBT_DEBUG("Propositions changed : r=0, cs=1");
-    }
-
-
-    MSG_task_destroy(grant);
-    XBT_INFO("%s got the answer. Sleep a bit and release it", argv[1]);
-    MSG_process_sleep(1);
-    MSG_task_send(MSG_task_create("release", 0, 1000, NULL), "coordinator");
-
-    MSG_process_sleep(my_pid);
-    
-    if(strcmp(my_mailbox, "1") == 0){
-      cs=0;
-      r=0;
-      XBT_DEBUG("Propositions changed : r=0, cs=0");
-    }
-    
-  }
-
-  XBT_INFO("Got all the CS I wanted (%s), quit now", my_mailbox);
-  return 0;
-}
-
-int main(int argc, char *argv[])
-{
-  MSG_init(&argc, argv);
-
-  MSG_config("model-check/property","promela1_bugged1_liveness");
-  MC_automaton_new_propositional_symbol("r", &predR);
-  MC_automaton_new_propositional_symbol("cs", &predCS);
-  
-  MSG_create_environment("../msg_platform.xml");
-  MSG_function_register("coordinator", coordinator);
-  MSG_function_register("client", client);
-  MSG_launch_application("deploy_bugged1_liveness.xml");
-  MSG_main();
-
-  return 0;
-}
diff --git a/examples/msg/mc/bugged1_while_liveness.c b/examples/msg/mc/bugged1_while_liveness.c
deleted file mode 100644 (file)
index 5f50a59..0000000
+++ /dev/null
@@ -1,135 +0,0 @@
-/***************** Centralized Mutual Exclusion Algorithm *********************/
-/* This example implements a centralized mutual exclusion algorithm.          */
-/* CS requests of client 1 not satisfied                                      */
-/* LTL property checked : G(r->F(cs)); (r=request of CS, cs=CS ok)            */
-/******************************************************************************/
-
-#include "msg/msg.h"
-#include "mc/mc.h"
-#include "xbt/automaton.h"
-#include "bugged1_liveness.h"
-
-XBT_LOG_NEW_DEFAULT_CATEGORY(bugged1_liveness, "my log messages");
-
-int r=0; 
-int cs=0;
-
-int predR(){
-  return r;
-}
-
-int predCS(){
-  return cs;
-}
-
-
-int coordinator(int argc, char *argv[])
-{
-  xbt_dynar_t requests = xbt_dynar_new(sizeof(char *), NULL);   // dynamic vector storing requests (which are char*)
-  int CS_used = 0;              // initially the CS is idle
-  while (1) {
-    m_task_t task = NULL;
-    MSG_task_receive(&task, "coordinator");
-    const char *kind = MSG_task_get_name(task); //is it a request or a release?
-    if (!strcmp(kind, "request")) {     // that's a request
-      char *req = MSG_task_get_data(task);
-      if (CS_used) {            // need to push the request in the vector
-        XBT_INFO("CS already used. Queue the request of client %d", atoi(req) +1);
-        xbt_dynar_push(requests, &req);
-      } else {                  // can serve it immediatly
-  if(strcmp(req, "2") == 0){
-    m_task_t answer = MSG_task_create("grant", 0, 1000, NULL);
-    MSG_task_send(answer, req);
-    CS_used = 1;
-    XBT_INFO("CS idle. Grant immediatly");
-  }
-      }
-    } else {                    // that's a release. Check if someone was waiting for the lock
-      if (xbt_dynar_length(requests) > 0) {
-        XBT_INFO("CS release. Grant to queued requests (queue size: %lu)", xbt_dynar_length(requests));
-        char *req ;
-  xbt_dynar_get_cpy(requests, (xbt_dynar_length(requests) - 1), &req);
-  if(strcmp(req, "2") == 0){
-    xbt_dynar_pop(requests, &req);
-    MSG_task_send(MSG_task_create("grant", 0, 1000, NULL), req);
-  }else{
-    xbt_dynar_pop(requests, &req);
-    MSG_task_send(MSG_task_create("notgrant", 0, 1000, NULL), req);
-    CS_used = 0;
-  }
-      } else {                  // nobody wants it
-        XBT_INFO("CS release. resource now idle");
-        CS_used = 0;
-      }
-    }
-    MSG_task_destroy(task);
-  }
-  return 0;
-}
-
-int client(int argc, char *argv[])
-{
-  int my_pid = MSG_process_get_PID(MSG_process_self());
-
-  char *my_mailbox = bprintf("%s", argv[1]);
-
-  // request the CS, sleeping a bit in between
-  while(1) {
-      
-    XBT_INFO("Ask the request");
-    MSG_task_send(MSG_task_create("request", 0, 1000, my_mailbox), "coordinator");
-
-    if(strcmp(my_mailbox, "1") == 0){
-      r = 1;
-      cs = 0;
-      XBT_INFO("Propositions changed : r=1, cs=0");
-    }
-
-    // wait the answer
-    m_task_t grant = NULL;
-    MSG_task_receive(&grant, my_mailbox);
-    const char *kind = MSG_task_get_name(grant);
-
-    if((strcmp(my_mailbox, "1") == 0) && (strcmp("grant", kind) == 0)){
-      cs = 1;
-      r = 0;
-      XBT_INFO("Propositions changed : r=0, cs=1");
-    }
-
-
-    MSG_task_destroy(grant);
-    XBT_INFO("%s got the answer. Sleep a bit and release it", argv[1]);
-    MSG_process_sleep(1);
-    MSG_task_send(MSG_task_create("release", 0, 1000, NULL), "coordinator");
-
-    MSG_process_sleep(my_pid);
-    
-    if(strcmp(my_mailbox, "1") == 0){
-      cs=0;
-      r=0;
-      XBT_INFO("Propositions changed : r=0, cs=0");
-    }
-    
-  }
-
-  return 0;
-}
-
-int main(int argc, char *argv[])
-{
-
-  MSG_init(&argc, argv);
-
-  MSG_config("model-check/property","promela1_bugged1_liveness");
-  MC_automaton_new_propositional_symbol("r", &predR);
-  MC_automaton_new_propositional_symbol("cs", &predCS);
-  
-  MSG_create_environment("../msg_platform.xml");
-  MSG_function_register("coordinator", coordinator);
-  MSG_function_register("client", client);
-  MSG_launch_application("deploy_bugged1_liveness.xml");
-  MSG_main();
-
-  return 0;
-}
diff --git a/examples/msg/mc/dwarf b/examples/msg/mc/dwarf
deleted file mode 100644 (file)
index 047e4f6..0000000
+++ /dev/null
@@ -1,5366 +0,0 @@
-
-.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"
-          &nbs