XBT_PRIVATE const char* tagname(int tag);
XBT_PRIVATE void* resolve_member(const void* base, simgrid::mc::Type* type, simgrid::mc::Member* member,
XBT_PRIVATE const char* tagname(int tag);
XBT_PRIVATE void* resolve_member(const void* base, simgrid::mc::Type* type, simgrid::mc::Member* member,