-void* resolve_member(const void* base, simgrid::mc::Type* /*type*/, simgrid::mc::Member* member,
- simgrid::mc::AddressSpace* address_space)
+void* resolve_member(const void* base, const simgrid::mc::Type* /*type*/, const simgrid::mc::Member* member,
+ const simgrid::mc::AddressSpace* address_space)