int main()
{
auto* process = new simgrid::mc::RemoteProcess(getpid());
- process->init(nullptr, nullptr, nullptr, nullptr);
+ process->init(nullptr, nullptr, nullptr);
simgrid::dwarf::ExpressionContext state;
state.address_space = (simgrid::mc::AddressSpace*) process;