const void *base, simgrid::mc::Type* type, simgrid::mc::Member* member,
simgrid::mc::AddressSpace* address_space, int process_index)
{
const void *base, simgrid::mc::Type* type, simgrid::mc::Member* member,
simgrid::mc::AddressSpace* address_space, int process_index)
{