#include <stdlib.h>
#include "src/mc/mc_private.h"
-#include "src/mc/mc_object_info.h"
#include "src/mc/Process.hpp"
#include "src/mc/Type.hpp"
int main(int argc, char** argv) {
process = new simgrid::mc::Process(getpid(), -1);
+ process->init();
simgrid::dwarf::ExpressionContext state;
state.address_space = (simgrid::mc::AddressSpace*) process;