XBT_PUBLIC(int) gras_socket_peer_port(gras_socket_t sock);
/** Get the host name of the remote side */
-XBT_PUBLIC(char *) gras_socket_peer_name(gras_socket_t sock);
+XBT_PUBLIC(const char *) gras_socket_peer_name(gras_socket_t sock);
/** Get the process name of the remote side */
-XBT_PUBLIC(char *) gras_socket_peer_proc(gras_socket_t sock);
+XBT_PUBLIC(const char *) gras_socket_peer_proc(gras_socket_t sock);
/* @}*/
/** \defgroup GRAS_sock_meas Using measurement sockets