void gras_msg_recv(gras_socket_t sock, gras_msg_t msg /*OUT*/);
void gras_msg_send_ext(gras_socket_t sock,
e_gras_msg_kind_t kind,
void gras_msg_recv(gras_socket_t sock, gras_msg_t msg /*OUT*/);
void gras_msg_send_ext(gras_socket_t sock,
e_gras_msg_kind_t kind,