gh_server_port_send and receive