xbt_peer_t xbt_peer_from_string(const char *peerport) {
xbt_peer_t res=xbt_new(s_xbt_peer_t, 1);
char *name=xbt_strdup(peerport);
xbt_peer_t xbt_peer_from_string(const char *peerport) {
xbt_peer_t res=xbt_new(s_xbt_peer_t, 1);
char *name=xbt_strdup(peerport);