+ std::vector<simgrid::mc::Variable> global_variables;
+
+ /** Types indexed by DWARF ID */
+ std::unordered_map<std::uint64_t, simgrid::mc::Type> types;
+
+ /** Types indexed by name
+ *
+ * Different compilation units have their separate type definitions
+ * (for the same type). When we find an opaque type in one compilation unit,
+ * we use this in order to try to find its definition in another compilation
+ * unit.
+ */
+ std::unordered_map<std::string, simgrid::mc::Type*> full_types_by_name;
+
+ /** Whether this module is an executable
+ *
+ * More precisely we check if this is an ET_EXE ELF. These ELF files
+ * use fixed addresses instead of base-addres relative addresses.
+ * Position independant executables are in fact ET_DYN.
+ */