- DEBUG3("Send token(%d) to %s:%d", msg,
- gras_socket_peer_name(globals->tosuccessor),
- gras_socket_peer_port(globals->tosuccessor));
+ XBT_DEBUG("Send token(%d) to %s:%d", msg,
+ xbt_socket_peer_name(globals->tosuccessor),
+ xbt_socket_peer_port(globals->tosuccessor));